上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Proof theory)
該当件数:16件
On the shape of mathematical arguments / A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
: gw,: us. - Berlin ; New York : Springer-Verlag , c1990. - (Lecture notes in computer science ; 445)
図書 <1000383662>
The power of interaction / Carsten Lund
Cambridge, Mass. : MIT Press , c1992. - (ACM distinguished dissertations ; 1991)
図書 <1000463069>
Proof theory / Kurt Schütte ; translation from the German by J.N. Crossley
: us,: gw. - Berlin ; New York : Springer-Verlag , 1977. - (Grundlehren der mathematischen Wissenschaften ; Bd. 225)
図書 <1000313510>
An accompaniment to higher mathematics / George R. Exner
New York : Springer-Verlag , c1996. - (Undergraduate texts in mathematics)
図書 <1000534620>
Proofs and Fundamentals : a first course in abstract mathematics / Ethan D. Bloch
: hbk,: ebk. - 2nd ed. - New York : Springer , c2011. - (Undergraduate texts in mathematics)
図書 <1002277451>
Proof analysis : a contribution to Hilbert's last problem / Sara Negri, Jan von Plato
: hardback. - Cambridge, UK ; New York : Cambridge University Press , 2011
図書 <1002492105>
Compactness and contradiction / Terence Tao
: pbk. - Providence, R.I. : American Mathematical Society , c2013
図書 <1002631064>
Mathematical thinking and writing : a transition to abstract mathematics / Randall B. Maddox
San Diego, Calif. : Academic Press , c2002
図書 <1001354078>
The logic of provability / George Boolos
Cambridge [England] ; New York, NY, USA : Cambridge University Press , c1993
図書 <1000495127>
The art of proof : basic training for deeper mathematics / Matthias Beck, Ross Geoghegan
New York : Springer , c2010. - (Undergraduate texts in mathematics)
図書 <1002227216>
Why is there philosophy of mathematics at all? / Ian Hacking
: hardcover,: pbk. - Cambridge : Cambridge University Press , 2014
図書 <1002705388>
On constructive interpretation of predicative mathematics / Charles Parsons
New York : Garland Pub. , 1990. - (Harvard dissertations in philosophy)
図書 <1000382637>
Learning to reason : an introduction to logic, sets, and relations / Nancy Rodgers
New York : Wiley , c2000
図書 <1001254227>
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček
Oxford : Clarendon Press , 1993. - (Oxford logic guides ; 23)
図書 <1000473120>
Beweisen : e. prakt.-semant. Unters. / Bruno Strecker
1. Aufl. - Tübingen : Niemeyer , 1976. - (Linguistische Arbeiten ; 35)
図書 <1000330968>
Frege's notations : what they are and how they mean / Gregory Landini
Houndmills, Basingstoke, Hampshire ; New York : Palgrave Macmillan , 2012. - (History of analytic philosophy)
図書 <1002534540>