鄰近 美國國會圖書館分類號 是:
Result Page   Prev Next
儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
選取   資料類型
Qa 9.5 A43 1998 : Amadio, Roberto M; 數學所圖書室; 紙本資料     
      Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien Amadio, Roberto M; 在架上   紙本資料 1998
Qa 9.5 B36 : Barendregt, H. P.; 數學所圖書室; 紙本資料     
      The lambda calculus : its syntax and semantics / H.P. Barendregt Barendregt, H. P.; 在架上   紙本資料 1981
Qa 9.5 B36 1984 : Barendregt, H. P.; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      The lambda calculus : its syntax and semantics / H.P. Barendregt Barendregt, H. P.; 在架上   紙本資料 1984
Qa 9.5 C66 1995 : 數學所圖書室; 紙本資料     
      The combinatory programme / Erwin Engeler ... [et al.] 在架上   紙本資料 1995
Qa 9.5 C87    
      Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig Curry, Haskell B.; 在架上   紙本資料 1958-
      Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig Curry, Haskell B.; 在架上   紙本資料 1958-
Qa 9.5 F58 : Fitch, Frederic B.; 數學所圖書室; 紙本資料     
      Elements of combinatory logic [by] Frederic B. Fitch Fitch, Frederic B.; 在架上   紙本資料 1974
Qa 9.5 H56 : Hindley, J. Roger; 數學所圖書室; 紙本資料     
      Introduction to combinators and [lambda]-calculus / J. Roger Hindley, Jonathan P. Seldin Hindley, J. Roger; 在架上   紙本資料 1986
Qa 9.5 H565 2008 : Hindley, J. Roger; 數學所圖書室; 紙本資料     
      Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin Hindley, J. Roger; 在架上   紙本資料 c2008
Qa 9.5 I58 1993 : Retherford, J. R.; 數學所圖書室; 紙本資料     
      Hilbert space : compact operators and the trace theorem / J. R. Retherford Retherford, J. R.; 在架上   紙本資料 1993
Qa 9.5 K56 : Klop, J. W; 數學所圖書室; 紙本資料     
      Combinatory reduction systems / J.W. Klop Klop, J. W; 在架上   紙本資料 1980
Qa 9.5 P3 : Patzig, Günther; 數學所圖書室; 紙本資料     
      Aristotle's theory of the syllogism. A logicophilological study of book A of the Prior analytics. Translated from the German by Jonathan Barnes Patzig, Günther; 在架上   紙本資料 1968
Qa 9.5 R48 1988 : Révész, György E; 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Lambda-calculus, combinators, and functional programming / G.E. Revesz Révész, György E; 在架上   紙本資料 1988
Qa 9.5 S7 1987 : Stojmenović, Ivan; 數學所圖書室; 紙本資料     
      Some combinatorial and algorithmic problems in many-valued logics / Ivan Stojmenović Stojmenović, Ivan; 在架上   紙本資料 1987
Qa 9.5 St42 : Stenlund, Sören; 數學所圖書室; 紙本資料     
      Combinators, -terms and proof theory Stenlund, Sören; 在架上   紙本資料 1972
Qa 9.54 A38 2016 : 數學所圖書室; 紙本資料     
      Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer, editors. 在架上   紙本資料 2016
Qa 9.54 A44 1997 : Allenby, R.B.J.T; 數學所圖書室; 紙本資料     
      Numbers and proofs / R.B.J.T. Allenby Allenby, R.B.J.T; 在架上   紙本資料 c1997
Qa 9.54 A57 2010 : Alsina, Claudi; 統計所圖書館; 紙本資料     
      Charming proofs : a journey into elegant mathematics / Claudi Alsina, Roger B. Nelsen Alsina, Claudi; 在架上   紙本資料 c2010
Qa 9.54 A75 1993 : 數學所圖書室; 紙本資料     
      Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček 在架上   紙本資料 1992
Qa 9.54 B43 2010 : Beck, Matthias; 數學所圖書室; 紙本資料     
      The art of proof : basic training for deeper mathematics / Matthias Beck, Ross Geoghegan Beck, Matthias; 在架上   紙本資料 c2010
Qa 9.54 B46 1999 : Benson, Donald C.; 統計所圖書館; 紙本資料     
      The moment of proof : mathematical epiphanies / by Donald C. Benson Benson, Donald C.; 在架上   紙本資料 1999
Qa 9.54 B57 2000 : Bloch, Ethan D.,; 數學所圖書室; 紙本資料     
      Proofs and fundamentals : a first course in abstract mathematics / Ethan D. Bloch Bloch, Ethan D.,; 在架上   紙本資料 c2000
Qa 9.54 B57 2011    
      Proofs and fundamentals : a first course in abstract mathematics / Ethan D. Bloch Bloch, Ethan D.,; 在架上   紙本資料 2011
      Proofs and fundamentals : a first course in abstract mathematics / Ethan D. Bloch Bloch, Ethan D.,; 在架上   紙本資料 2011
Qa 9.54 C86 1989 : Cupillari, Antonella,; 人文社會聯圖; 紙本資料     
      The nuts and bolts of proofs / Antonella Cupillari Cupillari, Antonella,; 在架上   紙本資料 1989
Qa 9.54 E23 1997    
      An introduction to mathematical reasoning : numbers, sets, and functions / Peter J. Eccles Eccles, Peter J.,; 在架上   紙本資料 1997
      An introduction to mathematical reasoning : numbers, sets, and functions / Peter J. Eccles Eccles, Peter J.,; 在架上   紙本資料 1997
Qa 9.54 E62 2005 : Engler, Antonio J; 數學所圖書室; 紙本資料     
      Valued fields / Antonio J. Engler, Alexander Prestel Engler, Antonio J; 在架上   紙本資料 2005
Qa 9.54 E96 1996 : Exner, George R; 數學所圖書室; 紙本資料     
      An accompaniment to higher mathematics / George R. Exner Exner, George R; 在架上   紙本資料 1996
Qa 9.54 F57 : Fitting, Melvin,; 數學所圖書室, 資訊所圖書室, 歐美所圖書館 ; 紙本資料     
      Proof methods for modal and intuitionistic logics / Melvin Fitting Fitting, Melvin,; 在架上   紙本資料 c1983
Qa 9.54 G37 1996 : Garnier, Rowan; 數學所圖書室; 紙本資料     
      100% mathematical proof / Rowan Garnier, John Taylor Garnier, Rowan; 在架上   紙本資料 c1996
Qa 9.54 G57 1987 : Girard, Jean-Yves; 歐美所圖書館, 數學所圖書室 ; 紙本資料     
      Proof theory and logical complexity / Jean-Yves Girard Girard, Jean-Yves; 到期 07-06-22, 在架上   紙本資料 c1987-
Qa 9.54 G57 1989 : Girard, Jean Yves; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Proofs and types / Jean-Yves Girard ; translated with appendices by Paul Taylor, Yves Lafont Girard, Jean Yves; 在架上   紙本資料 c1989
Qa 9.54 G68 1997 : Goubault-Larrecq, Jean; 資訊所圖書室, 數學所圖書室 ; 紙本資料     
      Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie Goubault-Larrecq, Jean; 在架上   紙本資料 1997
Qa 9.54 H35 1998 : 數學所圖書室; 紙本資料     
      Handbook of proof theory / edited by Samuel R. Buss 在架上   紙本資料 1998
Qa 9.54 J83 1995 : Goldstern, Martin; 數學所圖書室, 歐美所圖書館 ; 紙本資料     
      The incompleteness phenomenon : a new course in mathematical logic / Martin Goldstern, Haim Judah Goldstern, Martin; 在架上   紙本資料 c1995
Qa 9.54 K72 2019 : Krajicek, Jan,; 數學所圖書室; 紙本資料     
      Proof complexity / Jan Krajicek, Charles University, Prague Krajicek, Jan,; 在架上   紙本資料 2019
Qa 9.54 K73 2011 : Krantz, Steven G.; 數學所圖書室; 紙本資料     
      The proof is in the pudding : the changing nature of mathematical proof / Steven G. Krantz Krantz, Steven G.; 在架上   紙本資料 c2011
Qa 9.54 L33 2001 : Laczkovich, Miklos; 數學所圖書室; 紙本資料     
      Conjecture and proof / Miklos Laczkovich Laczkovich, Miklos; 在架上   紙本資料 c2001
Qa 9.54 L56 2004 : 數學所圖書室; 紙本資料     
      Linear logic in computer science / edited by Thomas Ehrhard, ... [et al.] 在架上   紙本資料 2004
Qa 9.54 L86 1992 : Lund, Carsten,; 原分所圖書室, 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      The power of interaction / Carsten Lund Lund, Carsten,; 在架上   紙本資料 c1992
Qa 9.54 M34 2009 : Maddox, Randall B; 人文社會聯圖; 紙本資料     
      A transition to abstract mathematics : mathematical thinking and writing / Randall B. Maddox Maddox, Randall B; 在架上   紙本資料 c2009
Qa 9.54 M36 2021 : Mancosu, Paolo,; 人文社會聯圖, 資訊所圖書室 ; 紙本資料     
      An introduction to proof theory : normalization, cut-elimination, and consistency proofs / Paolo Mancosu, Sergio Galvan, Richard Zach Mancosu, Paolo,; 在架上   紙本資料 2021
Qa 9.54 M37 2008 : Mastroianni, G.; 數學所圖書室; 紙本資料     
      Interpolation processes : basic theory and applications / by Giuseppe Mastroianni, Gradimir V. Milovanovic Mastroianni, G.; 在架上   紙本資料 2008
Qa 9.54 N44 2001 : Negri, Sara,; 數學所圖書室; 紙本資料     
      Structural proof theory / Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta Negri, Sara,; 在架上   紙本資料 2001
Qa 9.54 O46 2015 : Oliveira, Suely,; 數學所圖書室; 紙本資料     
      Building proofs : a practical guide / by Suely Oliveira (The University of Iowa, USA), David Stewart (The University of Iowa, USA) Oliveira, Suely,; 在架上   紙本資料 2015
Qa 9.54 O7413 1993 : Orevkov, V. P; 數學所圖書室; 紙本資料     
      Complexity of proofs and their transformations in axiomatic theories / V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish] Orevkov, V. P; 在架上   紙本資料 c1993
Qa 9.54 P64 1989 : Pohlers, Wolfram; 數學所圖書室; 紙本資料     
      Proof theory : an introduction / Wolfram Pohlers Pohlers, Wolfram; 在架上   紙本資料 c1989
Qa 9.54 P7 1992 : Leeds Proof Theory Programme; 數學所圖書室; 紙本資料     
      Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990 / edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer Leeds Proof Theory Programme; 在架上   紙本資料 1992
Qa 9.54 P75 1998 : 數學所圖書室, 資訊所圖書室 ; 紙本資料     
      Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 / Paul W. Beame, Samuel R. Buss, editors 在架上, 館內使用   紙本資料 1998
Qa 9.54 P77 1992 : 數學所圖書室; 紙本資料     
      Proof, logic, and formalization / edited by Michael Detlefsen 在架上   紙本資料 1992
Qa 9.54 P78 2000 : 數學所圖書室; 紙本資料     
      Proof theory : history and philosophical significance / edited by Vincent F. Hendricks, Stig Andur Pedersen, and Klaus Frovin Jørgensen 在架上   紙本資料 c2000
Qa 9.54 R67 1998 : Rotman, Joseph J.,; 數學所圖書室; 紙本資料     
      Journey into mathematics : an introduction to proofs / Joseph J. Rotman Rotman, Joseph J.,; 在架上   紙本資料 c1998
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄
Result Page   Prev Next