上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA9.54)
該当件数:9件
Mathematical thinking and writing : a transition to abstract mathematics / Randall B. Maddox
San Diego, Calif. : Academic Press , c2002
図書 <1001354078>
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>
Proof analysis : a contribution to Hilbert's last problem / Sara Negri, Jan von Plato
: hardback. - Cambridge, UK ; New York : Cambridge University Press , 2011
図書 <1002492105>
On constructive interpretation of predicative mathematics / Charles Parsons
New York : Garland Pub. , 1990. - (Harvard dissertations in philosophy)
図書 <1000382637>
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>
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček
Oxford : Clarendon Press , 1993. - (Oxford logic guides ; 23)
図書 <1000473120>
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>