東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Proof theory)
該当件数:28件
Proof theory / Kurt Schütte ; translation from the German by J. N. Crossley
Berlin : Springer-Verlag , 1977. - New York. - (Die Grundlehren der mathematischen Wissenschaften ; 225)
図書
Proof theory : an introduction / Wolfram Pohlers
Berlin : Springer-Verlag , c1989. - Tokyo. - (Lecture notes in mathematics ; 1407)
Basic proof theory / A.S. Troelstra, H. Schwichtenberg
2nd ed. - Cambridge : Cambridge University Press , 2000. - New York. - (Cambridge tracts in theoretical computer science ; 43)
Proofs and fundamentals : a first course in abstract mathematics / Ethan D. Bloch
: hardcover,: [softcover]. - 2nd ed. - New York : Springer , c2011. - (Undergraduate texts in mathematics)
Normalization, cut-elimination, and the theory of proofs / A.M. Ungar
pbk.. - Stanford, Calif. : Center for the Study of Language and Information , c1992. - (CSLI lecture notes ; no. 28)
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]
Providence, R.I. : American Mathematical Society , c1993. - (Translations of mathematical monographs ; v. 128)
Cambridge : Cambridge University Press , 1996. - New York. - (Cambridge tracts in theoretical computer science ; 43)
An accompaniment to higher mathematics / George R. Exner
New York : Springer-Verlag , c1996. - (Undergraduate texts in mathematics)
Proof theory : the first step into impredicativity / Wolfram Pohlers
Berlin : Springer , c2009. - (Universitext)
Proof theory and intuitionistic systems / Bruno Scarpellini
Berlin : Springer-Verlag , 1971. - New York. - (Lecture notes in mathematics ; 212)
Combinators, λ-terms and proof theory / Sören Stenlund
Dordrecht : D. Reidel , c1972. - (Synthese library)
The logic of provability / George Boolos
Paperback ed. - Cambridge [England] : Cambridge Univ. Pr. , 1993. - New York, NY, USA
Cambridge [England] : Cambridge Univ. Pr. , 1993. - New York, NY, USA
Mathematical proofs : a transition to advanced mathematics / Gary Chartrand, Albert D. Polimeni [and] Ping Zhang
2nd ed. - Boston : Pearson/Addison Wesley , c2008
Proof complexity / Jan Krajíček
: hardback. - Cambridge : Cambridge University Press , 2019. - (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 170)
Derivation and computation : taking the Curry-Howard correspondence seriously : derivation systems, substitution algorithms, computation mechanisms / Harold Simmons
New York : Cambridge University Press , 2000. - (Cambridge tracts in theoretical computer science ; 51)
Burden of proof, presumption and argumentation / Douglas Walton
: hardback,: paperback. - New York : Cambridge University Press , 2014
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček
Oxford : Clarendon Press , 1993. - (Oxford logic guides ; 23)
Proof methods for modal and intuitionistic logics / Melvin Fitting
Dordrecht, Holland : D. Reidel , c1983. - Hingham, Mass.. - Boston, U.S.A.. - (Synthese library ; v. 169)
Computer arithmetic and formal proofs : verifying floating-point algorithms with the coq system / Sylvie Baldo, Guillaume Melquiond
: electronic bk. - [Amsterdam] : Elsevier , [2018]
電子ブック
ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G.H. Müller
: gw,: u.s.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 500)
Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák
Cham : Springer , c2013. - (Springer monographs in mathematics)
Provability, complexity, grammars / Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin
: hbk. : alk. paper. - Providence, R.I. : American Mathematical Society , c1999. - (American Mathematical Society translations ; ser. 2, v. 192)
Applied proof theory : proof interpretations and their use in mathematics / Ulrich Kohlenbach
Berlin : Springer , c2008. - (Springer monographs in mathematics)
Sets and proofs : invited papers from Logic Colloquium '97 : European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
Cambridge : Cambridge Univ. Pr. , 1999. - New York. - (London Mathematical Society lecture note series ; 258)
Tableau systems for first order number theory and certain higher order theories / Sue Toledo
Berlin : Springer-Verlag , 1975. - New York. - (Lecture notes in mathematics ; 447)
Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 / Paul W. Beame, Samuel R. Buss, editors
Providence, R.I. : American Mathematical Society , 1997. - (DIMACS series in discrete mathematics and theoretical computer science. ISSN:1052-1798 ; v. 39)
Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
New York : Springer , c2005. - (Monographs in computer science)