上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Arithmetic Foundations)
該当件数:7件
Models of Peano arithmetic / Richard Kaye
Oxford : Clarendon Press. - New York : Oxford University Press , 1991. - (Oxford logic guides ; 15)
図書 <1000410278>
Die Grundlagen der Arithmetik : eine logisch-mathematische Untersuchung über den Begriff der Zahl / Gottlob Frege
Hildesheim : Georg Olms , 1990
図書 <1000420535>
Naive set theory / Paul R. Halmos
: us,: gw. - New York : Springer-Verlag , c1974. - (Undergraduate texts in mathematics)
図書 <1001360083>
Function Algebras on Finite Sets : A Basic Course on Many-Valued Logic and Clone Theory / by Dietlinde Lau
Berlin, Heidelberg : Springer Berlin Heidelberg , 2006. - (Springer Monographs in Mathematics)
電子ブック <1003001736>
Logica Universalis : Towards a General Theory of Logic / edited by Jean-Yves Beziau
Basel : Birkhäuser Basel , 2005
電子ブック <1003000434>
Second Edition. - Basel : Birkhäuser Basel , 2007
電子ブック <1003002150>
The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel / I. Grattan-Guinness
: hbk,: pbk. - Princeton, N.J. ; Oxford : Princeton University Press , c2000
図書 <1001237835>