|
|
|
|
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
|
|
|
