学内で所蔵している図書や雑誌(電子ブック、電子ジャーナル等含む)を検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索できます。
日本の学術論文情報を検索できます。
国立国会図書館オンライン、国立国会図書館デジタルコレクション、青空文庫を検索します。
メッセージID:0209 検索結果の書名をクリックするとさらに詳しい情報が見られる詳細画面に移ります。予約やILLは詳細画面で出来ます。
検索キーワード：(件名: #Logic Symbolic and mathematical)
該当件数:710件
A beginner's guide to mathematical logic / Raymond M. Smullyan
Mineola : Dover Publications , 2014. - (Dover books on mathematics)
書誌ID=2001619592 NCID=BB16286898
Towards a general theory of classifications / Daniel Parrochia・Pierre Neuville
Basel : Birkhäuser , c2013. - (Studies in universal logic)
書誌ID=2001581865 NCID=BB12737248
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
Mathematical logic : foundations for information science / Wei Li
Basel : Birkhäuser , c2010. - (Progress in computer science and applied logic ; v. 25)
書誌ID=2001471800 NCID=BB00501925
Introduction to mathematical logic / Elliott Mendelson
: hard. - 5th ed. - Boca Raton : Chapman & Hall/CRC , c2010. - (Discrete mathematics and its applications / Kenneth H. Rosen, series editor)
書誌ID=2001444166 NCID=BA91350315
Realizability : an introduction to its categorical side / Jaap van Oosten
Amsterdam ; Tokyo : Elsevier , 2008. - (Studies in logic and the foundations of mathematics ; v. 152)
書誌ID=2001391772 NCID=BA85667714
Second-order quantifier elimination : foundations, computational aspects and applications / Dov M. Gabbay, Renate A. Schmidt, and Andrzej Szałas
London : College Publications , 2008. - (Studies in logic / series editor, Dov Gabbay ; v. 12)
書誌ID=2001532933 NCID=BB07665829
A concise introduction to mathematical logic / Wolfgang Rautenberg
: pbk. - 2nd ed. - New York, NY : Springer , c2006. - (Universitext)
書誌ID=2001401436 NCID=BA77159875
Mathematical logic / Stephen Cole Kleene
Mineola, N.Y : Dover , 2002. - (Dover books on mathematics)
書誌ID=2001058393 NCID=BA60561655
A natural history of negation / Laurence R. Horn
: pbk. - Stanford, Calif. : CLSI Publications , c2001. - (The David Hume series, philosophy and cognitive science reissues)
書誌ID=2001026329 NCID=BA54212753
Mathematical logic / edited by R.O. Gandy and C.E.M. Yates ; including prafaces by Solomon Feferman ... [et al.]
Amsterdam ; Tokyo : Elsevier , 2001. - (Collected works of A.M. Turing)
書誌ID=2000991287 NCID=BA55221385
A mathematical introduction to logic / Herbert B. Enderton
2nd ed. - San Diego : Harcourt/Academic Press , c2001
書誌ID=2000923986 NCID=BA50081314
Logical forms : an introduction to philosophical logic / Mark Sainsbury
: hbk,: pbk. - 2nd ed. - Oxford, UK : Blackwell Publishers , 2001
書誌ID=2001555888 NCID=BA50531953
The logic of arithmetic / Walter Felscher
Amsterdam : Gordon and Breach Science Publishers , c2000. - (Lectures on mathematical logic / Walter Felscher ; v. 3)
書誌ID=2000957510 NCID=BA47193921
Set theoretical logic : the algebra of models / Walter Felscher
Amsterdam : Gordon and Breach Science Publishers , c2000. - (Lectures on mathematical logic / Walter Felscher ; v. 1)
書誌ID=2000871405 NCID=BA47190617
Calculi for derivations and deductions / Walter Felscher
Amsterdam : Gordon and Breach Science Publishers , c2000. - (Lectures on mathematical logic / Walter Felscher ; v. 2)
書誌ID=2000871410 NCID=BA47193342
An introduction to substructural logics / Greg Restall
pbk.. - London ; New York : Routlege , 2000
書誌ID=2000812869 NCID=BA45117773
Fibring logics / Dov M. Gabbay
: hbk. - Oxford : Clarendon Press , c1999. - (Oxford logic guides ; 38)
書誌ID=2000753752 NCID=BA38922000
Principles of mathematical logic / D. Hilbert and W. Ackermann ; translated from the German by Lewis M. Hammond, George G. Leckie, F. Steinhardt ; edited and with notes by Robert E. Luce
Providence, R.I. : American Mathematical Society , 1999
書誌ID=2000795720 NCID=BA43307064
In the light of logic / Solomon Feferman
New York : Oxford University Press , c1998. - (Logic and computation in philosophy)
書誌ID=2000749934 NCID=BA3869828X
