鄰近 十進分類號(杜威/何日章) 是:
Result Page   Prev Next
儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
選取   資料類型
511.3 B644 : Boolos, George; 歐美所圖書館, 數學所圖書室 ; 紙本資料     
      Computability and logic / George S. Boolos, Richard C. Jeffrey Boolos, George; 在架上   紙本資料 1989
511.3 C214 1962 : Carnap, Rudolf,; 歐美所圖書館; 紙本資料     
      Logical foundations of probability Carnap, Rudolf,; 在架上   紙本資料 c1962
511.3 C331 : 歐美所圖書館, 數學所圖書室 ; 紙本資料     
      Cellular automata : theory and experiment / edited by Howard Gutowitz 在架上   紙本資料 1991
511.3 C346 : Chagrov, Alexander; 資訊所圖書室, 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      Modal logic / Alexander Chagrov and Michael Zakharyaschev Chagrov, Alexander; 在架上   紙本資料 1997
511.3 C349 1990 : Chaitin, Gregory J; 物理所圖書室, 歐美所圖書館, 資訊所圖書室 ; 紙本資料     
      Information, randomness and incompleteness : papers on algorithmic information theory / by S.J. Chaitin Chaitin, Gregory J; 在架上   紙本資料 1990
511.3 C4732 2006 : 歐美所圖書館; 紙本資料     
      Church's Thesis after 70 years / Adam Olszewski, Jan Woleński, Robert Janusz (eds.) 在架上   紙本資料 2006
511.3 C937 : Curry, Haskell B.; 歐美所圖書館; 紙本資料     
      Foundations of mathematical logic / Haskell B. Curry Curry, Haskell B.; 在架上   紙本資料 1977
511.3 D3991 2013 : Demopoulos, William; 歐美所圖書館; 紙本資料     
      Logicism and its philosophical legacy / William Demopoulos Demopoulos, William; 在架上   紙本資料 2013
511.3 D661 : Dodd, A.; 歐美所圖書館, 數學所圖書室 ; 紙本資料     
      The core model / A. Dodd Dodd, A.; 在架上   紙本資料 1982
511.3 En21 2001 : Enderton, Herbert B; 歐美所圖書館; 紙本資料     
      A mathematical introduction to logic / Herbert B. Enderton Enderton, Herbert B; 在架上   紙本資料 c2001
511.3 Ep85 : Epstein, Richard L; 數學所圖書室, 資訊所圖書室, 歐美所圖書館 ; 紙本資料     
      Computability : computable functions, logic, and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli Epstein, Richard L; 到期 11-16-20, 在架上   紙本資料 c1989
511.3 Ep85 2000 : Epstein, Richard L.,; 歐美所圖書館; 紙本資料     
      Computability : computable functions, logic, and the foundations of mathematics Epstein, Richard L.,; 在架上   紙本資料 c2000
511.3 F3216 1998 : Feferman, Solomon; 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      In the light of logic / Solomon Feferman Feferman, Solomon; 在架上   紙本資料 c1998
511.3 F531 : Fisher, Alec; 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      Formal number theory and computability : a workbook / by Alec Fisher Fisher, Alec; 在架上   紙本資料 1982
511.3 F564 : Fitting, Melvin,; 歐美所圖書館, 數學所圖書室 ; 紙本資料     
      Fundamentals of generalized recursion theory / Melvin Fitting Fitting, Melvin,; 在架上   紙本資料 c1981
511.3 F564pr : Fitting, Melvin,; 數學所圖書室, 資訊所圖書室, 歐美所圖書館 ; 紙本資料     
      Proof methods for modal and intuitionistic logics / Melvin Fitting Fitting, Melvin,; 在架上   紙本資料 c1983
511.3 F775 : Forster, T. E; 歐美所圖書館; 紙本資料     
      Set theory with a universal set : exploring an untyped universe / T.E. Forster Forster, T. E; 在架上   紙本資料 1992
511.3 F842co    
      Course of mathematical logic. [Transl. and ed. by David Louvish] Fraïssé, Roland; 在架上   紙本資料 1973-
      Course of mathematical logic. [Transl. and ed. by David Louvish] Fraïssé, Roland; 在架上   紙本資料 1973-
511.3 F858 2005 : Franzen, Torkel; 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      Godel's theorem : an incomplete guide to its use and abuse / Torkel Franzen Franzen, Torkel; 在架上   紙本資料 c2005
511.3 F88 2000 : Frege, Gottlob,; 歐美所圖書館; 紙本資料     
      Conceptual notation, and related articles / translated [from the German] and edited with a biography and introduction by Terrell Ward Bynum Frege, Gottlob,; 在架上   紙本資料 2000
511.3 F9125 2005 : Burgess, John P.,; 歐美所圖書館; 紙本資料     
      Fixing Frege / John P. Burgess Burgess, John P.,; 在架上   紙本資料 2005
511.3 G288 : Gensler, Harry J.,; 歐美所圖書館; 紙本資料     
      Godel's theorem simplified / Harry J. Gensler Gensler, Harry J.,; 在架上   紙本資料 c1984
511.3 G3489 2002 : Giaquinto, M.; 數學所圖書室, 文哲所, 歐美所圖書館 ; 紙本資料     
      The search for certainty : a philosophical account of foundations of mathematics / M. Giaquinto Giaquinto, M.; 在架上   紙本資料 2002
511.3 G441 : Girard, Jean-Yves; 歐美所圖書館, 數學所圖書室 ; 紙本資料     
      Proof theory and logical complexity / Jean-Yves Girard Girard, Jean-Yves; 到期 07-06-22, 在架上   紙本資料 c1987-
511.3 G542    
      Collected works / Kurt Gödel ; editors, Solomon Feferman ... [et al.] Gödel, Kurt; 在架上   紙本資料 1990
      Collected works / Kurt Gödel ; editors, Solomon Feferman ... [et al.] Gödel, Kurt; 在架上   紙本資料 1990
511.3 G542sm 2007 : Smith, Peter,; 歐美所圖書館; 紙本資料     
      An introduction to Gödel's theorems / Peter Smith Smith, Peter,; 在架上   紙本資料 2007
511.3 G542sm 2013 : Smith, Peter,; 歐美所圖書館, 人文社會聯圖 ; 紙本資料     
      An introduction to Gödel's theorems / Peter Smith Smith, Peter,; 在架上   紙本資料 2013
511.3 G542zSh : 數學所圖書室, 傅斯年圖書館, 歐美所圖書館 ; 紙本資料     
      Gödel's theorem in focus / edited by S.G. Shanker 在架上   紙本資料 c1988
511.3 G578 1995 : Goldstern, Martin; 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      The incompleteness phenomenon : a new course in mathematical logic / Martin Goldstern, Haim Judah Goldstern, Martin; 在架上   紙本資料 c1995
511.3 G765 : Grandy, Richard E; 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      Advanced logic for applications / Richard E. Grandy Grandy, Richard E; 在架上   紙本資料 c1977
511.3 G929 : Grzegorczyk, Andrzej; 歐美所圖書館; 紙本資料     
      An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk Grzegorczyk, Andrzej; 在架上   紙本資料 1974
511.3 H19177 2002 : 數學所圖書室, 歐美所圖書館, 資訊所圖書室 ; 紙本資料     
      Handbook of the logic of argument and inference : the turn towards the practical / edited by Dov M. Gabbay ... [et al.] 在架上   紙本資料 2002
511.3 H199 : Hao, Wong; 歐美所圖書館; 紙本資料     
      Computation, logic, philosophy : a collection of essays /by Wang Hao Hao, Wong; 在架上   紙本資料 1990
511.3 H596 : Hintikka, Jaakko,; 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      The principles of mathematics revisited / Jaakko Hintikka Hintikka, Jaakko,; 在架上   紙本資料 1996
511.3 H6672 1997 : Hodges, Wilfrid; 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      A shorter model theory / Wilfrid Hodges Hodges, Wilfrid; 在架上   紙本資料 1997
511.3 In887 2014 : 歐美所圖書館; 紙本資料     
      Interpreting Gödel : critical essays / edited by Juliette Kennedy, University of Helsinki 在架上   紙本資料 2014
511.3 J646 : Johnstone, P. T; 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      Notes on logic and set theory / P.T. Johnstone Johnstone, P. T; 在架上   紙本資料 1987
511.3 K125 1964 : Kalish, Donald; 歐美所圖書館; 紙本資料     
      Logic : techniques of formal reasoning / Donald Kalish, Richard Montague, Gary Mar ; under the general editorship of Robert J. Fogelin Kalish, Donald; 在架上   紙本資料 c1964
511.3 K1413 1964 : Kaplan, David Benjamin,; 歐美所圖書館; 紙本資料     
      Foundations of intensional logic / David Benjamin Kaplan Kaplan, David Benjamin,; 在架上   紙本資料 1978
511.3 K182 2007 : Kaye, Richard; 歐美所圖書館; 紙本資料     
      The mathematics of logic : a guide to completeness theorems and their applications / Richard Kaye Kaye, Richard; 在架上   紙本資料 2007
511.3 K847 : Kosko, Bart; 歐美所圖書館; 紙本資料     
      The fuzzy future : from society and science to heaven in a chip / Bart Kosko Kosko, Bart; 在架上   紙本資料 c1999
511.3 K9671 2011 : 歐美所圖書館; 紙本資料     
      Kurt Gödel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz ... [et al.] 在架上   紙本資料 2011
511.3 L148 : Lakatos, Imre,; 數學所圖書室, 傅斯年圖書館, 人社中心 ; 紙本資料     
      Proofs and refutations : the logic of mathematical discovery / by Imre Lakatos ; edited by John Worrall and Elie Zahar Lakatos, Imre,; 在架上   紙本資料 1976
511.3 L265 : Langholm, Tore,; 傅斯年圖書館, 統計所圖書館, 歐美所圖書館 ; 紙本資料     
      Partiality, truth, and persistence / Tore Langholm Langholm, Tore,; 在架上   紙本資料 1988
511.3 L829 : Kalish, Donald; 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      Logic : techniques of formal reasoning / Donald Kalish, Richard Montague, Gary Mar ; under the general editorship of Robert J. Fogelin Kalish, Donald; 在架上   紙本資料 c1980
511.3 L829al : 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.] 在架上   紙本資料 1996
511.3 L829ei : 歐美所圖書館, 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Logic and information flow / edited by Jan van Eijck and Albert Visser 在架上   紙本資料 c1994
511.3 L829ho : 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      Logic : from foundation to applications : European logic colloquium / edited by Wilfrid Hodges ... [et al.] 在架上   紙本資料 1996
511.3 M222 : McLarty, Colin; 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      Elementary categories, elementary toposes / Colin McLarty McLarty, Colin; 在架上   紙本資料 1992
511.3 M295 : Malitz, Jerome; 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz Malitz, Jerome; 在架上   紙本資料 c1979
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄
Result Page   Prev Next