東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: QA9.54)
該当件数:17件
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)
図書
Applied proof theory : proof interpretations and their use in mathematics / Ulrich Kohlenbach
Berlin : Springer , c2008. - (Springer monographs in mathematics)
Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
New York : Springer , c2005. - (Monographs in computer science)
Mathematical proofs : a transition to advanced mathematics / Gary Chartrand, Albert D. Polimeni [and] Ping Zhang
2nd ed. - Boston : Pearson/Addison Wesley , c2008
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)
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)
Basic proof theory / A.S. Troelstra, H. Schwichtenberg
2nd ed. - Cambridge : Cambridge University Press , 2000. - New York. - (Cambridge tracts in theoretical computer science ; 43)
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)
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)
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)
Proof complexity / Jan Krajíček
: hardback. - Cambridge : Cambridge University Press , 2019. - (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 170)
Proof theory : an introduction / Wolfram Pohlers
Berlin : Springer-Verlag , c1989. - Tokyo. - (Lecture notes in mathematics ; 1407)
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)
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)