ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(件名: #Proof theory)
該当件数:25件
Proof theory and logical complexity / Jean-Yves Girard.
. - (Studies in proof theory. ; 1)
図書
Normalization, cut-elimination, and the theory of proofs / A.M. Ungar.
Stanford, CA : CSLI , c1992.. - (CSLI lecture notes. ; no. 28)
An accompaniment to higher mathematics / George R. Exner.
New York : Springer , c1996.. - (Undergraduate texts in mathematics.)
Basic proof theory / A.S. Troelstra, H. Schwichtenberg.
Cambridge : Cambridge University Press , 1996.. - New York. - (Cambridge tracts in theoretical computer science. ; 43)
図書 [BA28275348]
2nd ed.. - Cambridge : Cambridge University Press , 2000.. - New York. - (Cambridge tracts in theoretical computer science. ; 43)
図書 [BA47606340]
Proof theory : an introduction / Wolfram Pohlers.
Berlin : Springer-Verlag , c1989.. - New York. - Tokyo. - (Lecture notes in mathematics ; ; 1407). - (Lecture notes in mathematics (Springer-Verlag))
On the shape of mathematical arguments / A.J.M. van Gasteren foreword by Edsger W. Dijkstra.
Berlin : Springer-Verlag , c1990.. - New York. - Tokyo. - (Lecture notes in computer science. ; 445)
The mathematical method : a transition to advanced mathematics / Murray Eisenberg
Upper Saddle River, N.J. : Prentice Hall , c1996
図書 [BA2868305X]
Mathematical reasoning : writing and proof / Ted Sundstrom
: hbk.. - 2nd ed. - Upper Saddle River, N.J. : Pearson Prentice Hall , c2007
図書 [GB23549477]
Proofs and fundamentals : a first course in abstract mathematics / Ethan D. Bloch
: us,: sz. - Boston : Birkhäuser , c2000
図書 [BA47643551]
Beweistheorie.
Berlin, : Springer , 1960.. - (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, ; Bd. 103). - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete.)
Proof theory and intuitionistic systems.
Berlin, : Springer-Verlag , 1971.. - New York,. - (Lecture notes in mathematics, 212). - (Lecture notes in mathematics (Springer-Verlag))
Extensional Gödel functional interpretation; : a consistency proof of classical analysis.
Berlin, : Springer-Verlag , 1973.. - New York,. - (Lecture notes in mathematics, 306). - (Lecture notes in mathematics (Springer-Verlag))
Axiomatising the logic of computer programming / Robert Goldblatt.
Berlin : Springer-Verlag , 1982.. - New York. - (Lecture notes in computer science. ; 130)
The proof is in the pudding : the changing nature of mathematical proof / Steven G. Krantz
New York : Springer , c2011
図書 [GK40983155]
Mathematical analysis and proof / David S.G. Stirling
2nd ed. - Chichester : Horwood Pub. , 2009
図書 [BA91548119]
The art of proof : basic training for deeper mathematics / Matthias Beck, Ross Geoghegan
New York : Springer , c2010. - (Undergraduate texts in mathematics)
図書 [BB03424117]
Analysis : with an introduction to proof / Steven R. Lay
4th ed. - Upper Saddle River, N.J. : Pearson Prentice Hall , c2005
図書 [BA86846515]
Proofs and Fundamentals : a first course in abstract mathematics / Ethan D. Bloch
: hbk.. - 2nd ed. - New York : Springer , c2011. - (Undergraduate texts in mathematics)
図書 [BB05155901]
Proof theory and algebra in logic / Hiroakira Ono
Singapore : Springer , c2019. - (Short textbooks in logic / series editors, Fenrong Liu, Hiroakira Ono, Jeremy Seligman)
図書 [BB28915469]
A transition to abstract mathematics : mathematical thinking and writing / Randall B. Maddox
2nd ed. - Amsterdam : Elsevier Academic Press , c2009
図書 [BB07995018]
Linear logic in computer science / edited by Thomas Ehrhard ... [et al.].
Cambridge : Cambridge University Press , 2004.. - (London Mathematical Society lecture note series ; 316)
図書 [BA69078075]
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen.
Cambridge, Mass. : MIT Press , c1990.. - (MIT Press series in artificial intelligence.)
図書 [BA0786395X]
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.].
Berlin : Springer-Verlag , 1981.. - New York. - (Lecture notes in mathematics ; ; 897). - (Lecture notes in mathematics (Springer-Verlag))
Structures Mères: Semantics, Mathematics, and Cognitive Science / edited by Alberto Peruzzi, Silvano Zipoli Caiani
1st ed. 2020.. - (Cham : Springer International Publishing : Imprint: Springer , 2020). - (Studies in Applied Philosophy, Epistemology and Rational Ethics. ISSN:21926255 ; 57)
電子ブック
