上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Mathematical Logic and Foundations)
該当件数:367件
Perspectives of Elementary Mathematics / by Gerhard P. Hochschild
New York, NY : Springer New York , 1983
電子ブック <1002991872>
Lectures on Boolean Algebras / by Paul R. Halmos
New York, NY : Springer New York , 1974. - (Undergraduate Texts in Mathematics)
電子ブック <1002992048>
Advances in Fuzzy Sets, Possibility Theory, and Applications / edited by Paul P. Wang
Boston, MA : Springer US , 1983
電子ブック <1002992368>
Introduction to Axiomatic Set Theory / by Gaisi Takeuti, Wilson M. Zaring
Second Edition. - New York, NY : Springer New York , 1982. - (Graduate Texts in Mathematics ; 1)
電子ブック <1002992424>
Self-Reference and Modal Logic / by C. Smoryński
New York, NY : Springer New York , 1985. - (Universitext)
電子ブック <1002992536>
An Outline of Set Theory / by James M. Henle
New York, NY : Springer New York , 1986. - (Problem Books in Mathematics)
電子ブック <1002992552>
Algebra for Computer Science / by Lars Gårding, Torbjörn Tambour
New York, NY : Springer US , 1988. - (Universitext)
電子ブック <1002992578>
Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory / by Jerome Malitz
New York, NY : Springer US , 1979. - (Undergraduate Texts in Mathematics)
電子ブック <1002992646>
Zermelo’s Axiom of Choice : Its Origins, Development, and Influence / by Gregory H. Moore
New York, NY : Springer New York , 1982. - (Studies in the History of Mathematics and Physical Sciences ; 8)
電子ブック <1002992662>
Set Theory of the Continuum / edited by Haim Judah, Winfried Just, Hugh Woodin
New York, NY : Springer US , 1992. - (Mathematical Sciences Research Institute Publications ; 26)
電子ブック <1002992738>
Mathematical Logic : An Introduction to Model Theory / by A. H. Lightstone ; edited by H. B. Enderton
Boston, MA : Springer US : Imprint: Springer , 1978. - (Mathematical Concepts and Methods in Science and Engineering ; 9)
電子ブック <1002993022>
Fundamentals of Contemporary Set Theory / by Keith J. Devlin
New York, NY : Springer US , 1979. - (Universitext)
電子ブック <1002993084>
Mathematical Aspects of Scientific Software / edited by J. R. Rice
New York, NY : Springer New York , 1988. - (The IMA Volumes in Mathematics and Its Applications ; 14)
電子ブック <1002993338>
Axiomatic Set Theory / by Gaisi Takeuti, Wilson M. Zaring
New York, NY : Springer New York , 1973. - (Graduate Texts in Mathematics ; 8)
電子ブック <1002993394>
Mathematical Logic / by J. Donald Monk
New York, NY : Springer New York : Imprint: Springer , 1976. - (Graduate Texts in Mathematics ; 37)
電子ブック <1002993534>
Naive Set Theory / by Paul R. Halmos
New York, NY : Springer New York : Imprint: Springer , 1974. - (Undergraduate Texts in Mathematics)
電子ブック <1002993626>
Adaptive and Learning Systems : Theory and Applications / edited by Kumpati S. Narendra
Boston, MA : Springer US : Imprint: Springer , 1986
電子ブック <1002993670>
Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra / by David Cox, John Little, Donal O’Shea
Second Edition. - New York, NY : Springer New York : Imprint: Springer , 1997. - (Undergraduate Texts in Mathematics)
電子ブック <1002993824>
Notes on Set Theory / by Yiannis N. Moschovakis
New York, NY : Springer New York : Imprint: Springer , 1994. - (Undergraduate Texts in Mathematics)
電子ブック <1002994256>
A Course in Mathematical Logic / by Yu. I. Manin
New York, NY : Springer New York : Imprint: Springer , 1977. - (Graduate Texts in Mathematics ; 53)
電子ブック <1002994320>