上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:288件
Introduction to mathematical structures and proofs / Larry J. Gerstein
2nd ed. - New York : Springer , c2012. - (Undergraduate texts in mathematics)
図書 <1002551896>
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.
Providence, R.I. : American Mathematical Society , c1988. - (Contemporary mathematics ; v.69)
電子ブック <1002979905>
Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
: hbk. - 3rd ed. - Cham : Springer , c2021. - (Graduate texts in mathematics ; 291)
図書 <1003193870>
Elements of symbolic logic / by Hans Reichenbach
New York : Macmillan , c1947
図書 <1002681651>
Précis de logique mathématique / par I.M. Bocheński
Bussum : F.G. Kroonder , [1948]. - (Collection Synthèse ; 2)
図書 <1002683533>
The logic of arithmetic / Walter Felscher
Amsterdam : Gordon and Breach Science Publishers , c2000. - (Lectures on mathematical logic / Walter Felscher ; v. 3)
図書 <1001165245>
Calculi for derivations and deductions / Walter Felscher
Amsterdam : Gordon and Breach Science Publishers , c2000. - (Lectures on mathematical logic / Walter Felscher ; v. 2)
図書 <1001165246>
Set theoretical logic : the algebra of models / Walter Felscher
Amsterdam : Gordon and Breach Science Publishers , c2000. - (Lectures on mathematical logic / Walter Felscher ; v. 1)
図書 <1001165247>
Estudios sobre semántica / Gottlob Frege ; introducción de Jesús Mosterín ; [traducción castellana de Ulíses Moulines]
2a edición. - Barcelona : Editorial Ariel , 1973. - (Ariel quincenal ; 60)
図書 <1001095329>
Einführung in die mathematische Logik / von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Darmstadt : Wissenschaftliche Buchgesellschaft , 1978. - (Die Mathematik)
図書 <1000630537>
Mathematical logic for computer science / M. Ben-Ari
: pbk. - New York : Prentice Hall , 1993. - (Prentice-Hall International series in computer science)
図書 <1000468008>
Understanding symbolic logic / Virginia Klenk
3rd ed. - Englewood Cliffs, N.J. : Prentice Hall , c1994
図書 <1000506242>
Logical forms : an introduction to philosophical logic / Mark Sainsbury
: hbk,: pbk. - 2nd ed. - Oxford ; Malden, Mass. : Blackwell , 2001
図書 <1001234489>
A natural history of negation / Laurence R. Horn
: pbk. - Stanford, Calif. : CLSI Publications , c2001. - (The David Hume series, philosophy and cognitive science reissues)
図書 <1001424614>
Quantification theory / by J.A. Faris
London : Routledge & K. Paul , 1964. - (Monographs in modern logic)
図書 <1001473456>
Logic : techniques of formal reasoning / Donald Kalish, Richard Montague, Gary Mar ; under the general editorship of Robert J. Fogelin
2nd ed. - San Diego : Harcourt Brace Jovanovich , c1980
図書 <1001364121>
Logic for mathematicians / A.G. Hamilton
: pbk. - Rev. ed. - Cambridge, [U.K.] ; New York : Cambridge University Press , 1988
図書 <1001848143>
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)
図書 <1002156642>
Elements of symbolic logic / Hans Reichenbach
New York : Free Press , 1966, c1947. - (A Free Press paperback)
図書 <1001092532>
Логические исследования : сборник статей / [редколлегия, Э. Кольман ... et al.]
Москва : Изд-во Академии наук СССР , 1959
図書 <1000704989>