城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Proof theory)
該当件数:28件
Proof theory / Gaisi Takeuti.
v. 81. - Amsterdam : North-Holland , 1975. - New York : American Elsevier , 1975. - (Studies in logic and the foundations of mathematics ; v. 81)
図書
On local proof restrictions for strong theories / Don Jensen.
Warszawa : Panstwowe Wydawn. Naukowe , 1973. - (Dissertationes mathematicae)
Beweistheorie
Bd. 103. - Berlin : Springer , 1960. - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd. 103)
Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 / edited by Peter Aczel, Harold Simmons and Stanley S. Wainer.
Cambridge, England : Cambridge University Press , c1992.
v. 81. - 2nd ed.. - Amsterdam : North-Holland , 1987. - New York : Elsevier Science Pub. Co. , 1987. - (Studies in logic and the foundations of mathematics ; v. 81)
Proof theory : an introduction / Wolfram Pohlers
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in mathematics ; 1407)
Proof theory and logical complexity / Jean-Yves Girard.
1. - Napoli : Bibliopolis , c1987-. - Amsterdam : Elsevier Science , c1987-. - (Studies in proof theory : monographs ; 1)
Extensional Godel functional interpretation; a consistency proof of classical analysis
306. - Berlin : Springer , 1973. - (Lecture notes in mathematics ; 306)
Proof theory and intuitionistic systems
212. - Berlin : Springer , 1971. - (Lecture notes in mathematics ; 212)
Logic in algebraic form : three languages and theories / William Craig
: us,: ne. - Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1974. - (Studies in logic and the foundations of mathematics ; v. 72)
Completeness properties of classical theories of finite type and the normal form theorem / Peter Pappinghaus.
Warszawa : Pa?nstwowe Wydawn. Nauk. , 1983. - (Dissertationes mathematicae)
The unprovability of consistency : an essay in modal logic / George Boolos.
Cambridge, England : Cambridge University Press , 1979
Logical Foundations of Proof Complexity / Stephen Cook, Phuong Nguyen
Cambridge : Cambridge University Press , 2010
電子ブック
An Introduction to the Language of Mathematics / by Frédéric Mynard
1st ed. 2018.. - Cham : Springer International Publishing : Imprint: Springer , 2018
Metamathematical investigation of intuitionistic arithmetic and analysis / {by} A. S. Troelstra (ed.).
344. - Berlin : Springer , 1973. - (Lecture notes in mathematics ; 344)
Tableau systems for first order number theory and certain higher order theories / Sue Toledo.
447. - Berlin : Springer , 1975. - (Lecture notes in mathematics ; 447)
Algebra of proofs / M. E. Szabo
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1978. - (Studies in logic and the foundations of mathematics ; v. 88)
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
23. - Oxford, England : Clarendon Press , 1993. - (Oxford logic guides ; 23)
A Framework for Priority Arguments / Manuel Lerman
Cambridge : Cambridge University Press , 2010. - (Lecture Notes in Logic ; 34)
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... {et al.}.
897. - Berlin : Springer , 1981. - (Lecture notes in mathematics ; 897)