1467 結果查獲. 排序依照 相關性 | 日期 | 書名 .
Result Page   1 2 3 4 5 6 7 8 9 10 11 ... 30 Next
儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
關鍵字 (1-50 之 1467)
條目 1-1
1
book jacket

S. Leśniewski's lecture notes in logic
Leśniewski, Stanisław, 1886-1939
Dordrecht ; Boston : M. Nijhoff, 1987
 
1987
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.2 L4725 1987    在架上    30340200219487
 Very relevant條目 2-33
2
book jacket

Logic and algebraic structures in quantum computing

Cambridge : Cambridge University Press, 2016
 
2016
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F4.1 C559    在架上    30330000232483
3
book jacket

Turing's legacy : developments from Turing's ideas in logic

Cambridge : Cambridge University Press, 2014
2014
電腦檔

館藏地: 資訊所圖書室
4
book jacket

Effective Mathematics of the Uncountable
Greenberg, Noam
New York : Cambridge University Press, 2013
2013
電腦檔

館藏地: 資訊服務處
5
 

Simple theories and hyperimaginaries
Casanovas, Enrique, 1957-
New York : Cambridge University Press, 2011
2011
電腦檔

館藏地: 資訊服務處圖書館
6
 

Set theory, arithmetic, and foundations of mathematics theorems, philosophies

Cambridge ; New York : Cambridge University Press, 2011
2011
電腦檔

館藏地: 資訊服務處圖書館
7
 

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics
Goldblatt, Robert
Cambridge ; New York : Cambridge University Press, 2011
2011
電腦檔

館藏地: 資訊服務處圖書館
8
book jacket

Quantifiers, Propositions and Identity : Admissible Semantics for Quantified Modal and Substructural Logics
Goldblatt, Robert
Cambridge : Cambridge University Press, 2011
2011
電腦檔

館藏地: 資訊服務處
9
book jacket

Simple Theories and Hyperimaginaries
Casanovas, Enrique
New York : Cambridge University Press, 2011
2011
電腦檔

館藏地: 資訊服務處
10
book jacket

Set Theory, Arithmetic, and Foundations of Mathematics : Theorems, Philosophies
Kennedy, Juliette
Cambridge : Cambridge University Press, 2011
2011
電腦檔

館藏地: 資訊服務處
11
book jacket

Kurt Gödel : essays for his centennial

New York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, 2010
 
2010
紙本資料

館藏地: 歐美所圖書館
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 歐美所圖書館3F西文書區  510.92 K9671 2010    在架上  -  30500101377722
12
book jacket

Stable domination and independence in algebraically closed valued fields
Haskell, Deirdre, 1963-
Cambridge ; New York : Cambridge University Press, 2008
2008
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.7 H377 2008    在架上    30340200496804
13
book jacket

Model theory of fields
Marker, D. (David), 1958-
La Jolla, Calif. : Association for Symbolic Logic ; Wellesley, Mass. : A K Peters, c2006
c2006
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.7 .M37 2006    在架上    30340200498974
14
book jacket

The Notre Dame lectures

Wellesley, Mass. : A.K. Peters, 2005
 
2005
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.2 N67 2005    在架上    30340200465809
15
book jacket

Intensionality

Wellesley, MA : A K Peters, 2005
 
2005
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.A1 I55 2005    在架上    30340200472300
16
book jacket

Logicism renewed : logical foundations for mathematics and computer science
Gilmore, Paul C. (Paul Carl), 1925-
La Jolla, Calif. : Association for Symbolic Logic ; Wellesley, Mass. : A K Peters, Ltd., c2005
 
c2005
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.2 G55 2005    在架上    30340200495640
17
book jacket

Reverse mathematics 2001

Wellesley, MA : A K Peters, Ltd., 2005
 
2005
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.25 R48 2005    在架上    30340200472037
18
book jacket

Inexhaustibility : a non-exhaustive treatment
Franzen, Torkel
[Urbana, Ill.] : Association for Symbolic Logic ; Wellesley, Mass. : A K Peters, c2004
 
c2004
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.56 F73 2004    在架上    30340200472383
19
book jacket

Model theory of stochastic processes
Fajardo, Sergio, 1956-
Natick, Mass. : A.K. Peters, 2002
 
2002
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA274 F37 2002    在架上    30340200434912
20
book jacket

Reflections on the foundations of mathematics : essays in honor of Solomon Feferman

Urbana, Ill. : Association for Symbolic Logic ; Natick, Mass. : A K Peters, c2002
 
c2002
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.A1 R44 2002    在架上    30340200437824
21
book jacket

Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
Logic Colloquium (1998 : Prague, Czech Republic)
Natick, Mass. : Association for Symbolic Logic, c2000
 
c2000
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.A1 L64 1998    在架上    30340200400145
22
book jacket

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995
Logic Colloquium (1995 : Haifa, Israel)
Berlin ; New York : Springer, c1998
 
c1998
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.A1 L64 1995    在架上    30340200368862
23
book jacket

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastian, Spain, July 9-15, 1996
Logic Colloquium (1996 : San Sebastian, Spain)
Berlin : Springer, c1998
 
c1998
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.A1 L64 1996    在架上    30340200368870
24
book jacket

Bounded variable logics and counting : a study in finite models
Otto, Martin, 1961-
Berlin ; New York : Springer, c1997
 
c1997
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.7 O88 1997    在架上    30340200352122
25
book jacket

Aspects of incompleteness
Lindström, Per, 1936-
New York : Springer-Verlag, c1997
 
c1997
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.65 L56 1997    在架上    30340200362360
26
book jacket

Model theory of fields
Marker, D. (David), 1958-
New York : Springer-Verlag, 1996
 
1996
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.7 M37 1996    在架上    30340200337834
27
book jacket

A general algebraic semantics for sentential logics
Font, Josep Maria, 1954-
New York : Springer-Verlag, 1996
 
1996
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA10 F66 1996    在架上    30340200346124
28
book jacket

The core model iterability problem
Steel, J. R. (John R.), 1948-
New York : Springer-Verlag, 1996
 
1996
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA248 S77 1996    在架上    30340200350134
29
book jacket

Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings
Gödel '96 (1996 : Brno, Czech Republic)
Berlin ; New York : Springer, c1996
 
c1996
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.A1 G6 1996    在架上    30340200364960
30
book jacket

Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
Miller, Arnold W., 1950-
New York : Springer-Verlag, 1995
 
1995
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA248 M5113 1995    在架上    30340200334310
31
book jacket

Fine structure and iteration trees
Mitchell, William J
Berlin ; New York : Springer-Verlag, c1994
 
c1994
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.56 M58 1994    在架上    30340200315384
32
book jacket

Recursion theory
Shoenfield, Joseph R. (Joseph Robert), 1927-
Berlin ; New York : Springer-Verlag, c1993
 
c1993
紙本資料

館藏地: 數學所圖書室, 統計所圖書館, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.6 S48 1993    在架上    30340200294761
 統計所圖書館  QA9.6 S48 1993    在架上    30570000077632
 資訊所圖書室圖書區  F4.1 S559    在架上    30330000104096
33
book jacket

Logic colloquium '90 : ASL Summer Meeting in Helsinki

Berlin ; New York : Springer-Verlag, c1993
 
c1993
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.A1 L63 1990    在架上    30340200303760
 資訊所圖書室會議論文區  Proc F4.1 L8325 1990    館內使用    30330000104104
 Relevant條目 34-34
34
 

Lecture Notes in Mathematical Logic
Schutte, Kurt
Pennsylvania : Park, Pennsylvania State University, 1962-63
 
1962-
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9 Sch79  v.1    在架上    30340200056079
 數學所圖書室  QA9 Sch79  v.1 c.2  在架上    30340200050635
 數學所圖書室  QA9 Sch79  v.1 c.3  在架上    30340200081663
此書目還有其他複本 / 卷期, 請點選書名進一步查看
 Other條目 35-1467
35
book jacket

Design and testing of reversible logic

Singapore : Springer Singapore : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
36
book jacket

Proceedings of the International Symposium for Production Research 2019
International Symposium for Production Research (19th : 2019 : Vienna, Austria)
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
37
book jacket

Advances in VLSI, communication, and signal processing : select proceedings of VCAS 2018
International Conference on VLSI, Communications, and Signal Processing (2018 : Allahabad, India)
Singapore : Springer Singapore : imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
38
book jacket

Practical aspects of declarative languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020 : proceedings
PADL (Symposium) (22nd : 2020 : New Orleans, La.)
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
39
book jacket

Pattern recognition applications and methods : 8th International Conference, ICPRAM 2019, Prague, Czech Republic, February 19-21, 2019 : revised selected papers
ICPRAM (Conference) (8th : 2019 : Prague, Czech Republic)
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
40
book jacket

Dynamic logic : new trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings
DaLi (Internaional Workshop) (2nd : 2019 : Porto, Portugal)
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
41
book jacket

Foundations of information and knowledge systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020 : proceedings
FoIKS (Symposium) (11th : 2020 : Dortmund, Germany)
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
42
book jacket

Logic synthesis for FPGA-based control units : structural decomposition in logic design
Barkalov, Alexander, author
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
43
book jacket

Formal aspects of component software : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings
FACS (Symposium) (16th : 2019 : Amsterdam, The Netherlands)
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
44
book jacket

Structured object-oriented formal language and method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019 : revised selected papers
SOFL+MSVL (Workshop) (9th : 2019 : Shenzhen, China)
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
45
book jacket

Computer performance engineering : 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019 : revised selected papers
EPEW (Workshop) (16th : 2019 : Milan, Italy)
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
46
book jacket

Logic and argumentation : third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings
International Conference on Logic and Argumentation (3rd : 2020 : Hangzhou, China)
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
47
book jacket

Relational and algebraic methods in computer science : 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings
RAMiCS (Conference) (18th : 2020 : Palaiseau, France)
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
48
book jacket

Fundamentals of digital electronics
Natarajan, Dhanasekharan, author
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
49
book jacket

Recent advances in theoretical, applied, computational and experimental mechanics : proceedings of ICTACEM 2017
International Conference on Theoretical, Applied, Computational and Experimental Mechanics (7th : 2017)
Singapore : Springer Singapore : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
50
book jacket

Communications, signal processing, and systems : proceedings of the 8th International Conference on Communications, Signal Processing, and Systems
International Conference on Communications, Signal Processing, and Systems (8th : 2019 : Urumqi, China)
Singapore : Springer Singapore : Imprint: Springer, 2020
2020
電腦檔

館藏地: 中央研究院
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄
Result Page   1 2 3 4 5 6 7 8 9 10 11 ... 30 Next