学内で所蔵している図書や雑誌(電子ブック、電子ジャーナル等含む)を検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索できます。
日本の学術論文情報を検索できます。
国立国会図書館オンライン、国立国会図書館デジタルコレクション、青空文庫を検索します。
メッセージID:0209 検索結果の書名をクリックするとさらに詳しい情報が見られる詳細画面に移ります。予約やILLは詳細画面で出来ます。
検索キーワード:(標準分類: 511/.3)
該当件数:173件
Introduction to mathematical logic / Elliott Mendelson
4th ed. - London ; Tokyo : Chapman & Hall , 1997
書誌ID=2000739011 NCID=BA32136786
Set theory and logic / by Robert R. Stoll
New York : Dover Publications , 1979
書誌ID=2000267949 NCID=BA0386095X
A course in mathematical logic for mathematicians / Yu.I. Manin
2nd ed. / chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin. - New York : Springer , c2010. - (Graduate texts in mathematics ; 53)
書誌ID=2001458712 NCID=BB00099461
A mathematical introduction to logic / Herbert B. Enderton
2nd ed. - San Diego : Harcourt/Academic Press , c2001
書誌ID=2000923986 NCID=BA50081314
Selected logic papers / W.V. Quine
: pbk. - Enlarged ed. - Cambridge, Mass. : Harvard University Press , 1995
書誌ID=2000614347 NCID=BA24753233
Type theory and functional programming / Simon Thompson
Wokingham, England ; Tokyo : Addison-Wesley , c1991. - (International computer science series)
書誌ID=2000509963 NCID=BA12849266
Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki
Dordrecht ; Boston : Kluwer Academic Publishers , c1988. - (Synthese library ; v. 199)
書誌ID=2000218344 NCID=BA04941310
3rd ed. - Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software , c1987. - (The Wadsworth & Brooks/Cole mathematics series)
書誌ID=2000408568 NCID=BA00389839
Beginning logic / E.J. Lemmon
2nd ed. - London : Chapman and Hall , 1987, c1965
書誌ID=2000360439 NCID=BA11239441
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
Amsterdam ; New York : North-Holland Pub. Co.. - New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 101)
書誌ID=2000015920 NCID=BA01039774
Descriptive set theory / Yiannis N. Moschovakis
: ne,: us. - Amsterdam ; New York : North-Holland. - New York : Sole distributors for the U.S.A. and Canada, Elsevier-North Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 100)
書誌ID=2000165562 NCID=BA03649233
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A.I. Arruda, R. Chuaqui, N.C.A. da Costa
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 99)
書誌ID=2000165561 NCID=BA04017166
General recursion theory : an axiomatic approach / Jens E. Fenstad
: us,: gw. - Berlin ; New York : Springer-Verlag , 1980. - (Perspectives in mathematical logic)
書誌ID=2000287324 NCID=BA06355953
Advances in fuzzy set theory and applications / edited by Madan M. Gupta, associate editors, Rammohan K. Ragade, Ronald R. Yager
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the USA and Canada, Elsevier North-Holland , 1979
書誌ID=2000266643 NCID=BA02898695
2nd ed. - New York : Van Nostrand , c1979
書誌ID=2000244889 NCID=BA04592787
Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen
Dordrecht, Holland : D. Reidel Pub. Co. , c1979. - (Synthese library ; v. 127)
書誌ID=2000281983 NCID=BA00704266
Basic set theory / Azriel Levy
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979. - (Perspectives in mathematical logic)
書誌ID=2000287298 NCID=BA04885129
Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.]
v. 1,v. 2. - Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributor for the U.S.A. and Canada, Elsevier North-Holland , 1979. - (Studies in logic and the foundations of mathematics ; v. 93)
書誌ID=2000165558 NCID=BA04017020
Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon
Amsterdam ; New York : North-Holland Pub. Co.. - New York : Elsevier North-Holland, sole distributors for the U.S.A. and Canada , 1979. - (Studies in logic and the foundations of mathematics ; v. 97)
書誌ID=2000165559 NCID=BA04017097
Logic and argument / Christopher Kirwan
London : Duckworth , 1978
書誌ID=2000059026 NCID=BA00787671