CiNii Booksを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:11件
The foundations of mathematics / Ian Stewart and David Tall
: pbk. - 2nd ed. - Oxford : Oxford University Press , 2015
図書
Discrete structures with contemporary applications / Alexander Stanoyevitch
:hbk. - Boca Raton, FL : Chapman and Hall/CRC , c2011
Tractatus logico-philosophicus / Ludwig Wittgenstein ; translated by D.F. Pears, B.F. McGuinness ; with the introduction by Bertrand Russell
: hbk,: pbk. - London : Routledge , 2001. - (Routledge classics)
Logic from A to Z : the Routledge encyclopedia of philosophy : glossary of logical and mathematical terms / Michael Detlefsen, David Charles McCarty and John B. Bacon
(),(). - London : Routledge , c1999
The reality of numbers : a physicalist's philosophy of mathematics / John Bigelow
Oxford [Oxfordshire] : Clarendon Press , 1988
Introduction to logic : propositional logic / Howard Pospesel
pbk. - 2nd. ed. - Englewood Cliffs, N.J. : Prentice-Hall , c1984
Dictionary of logical terms and symbols / Carol Horn Greenstein
pbk. - New York : Van Nostrand Reinhold , c1978
From Frege to Gödel : a source book in mathematical logic, 1879-1931 / [edited by] Jean van Heijenoort
: pbk,: cloth. - [3rd print.]. - Cambridge, Mass. : Harvard University Press , 1977. - (Source books in the history of the sciences)
Logik für Linguisten / Jens Allwood ; Lars-Gunnar Andersson ; Östen Dahl. Ins Dt. übers. von Michael Grabski
Tübingen : Niemeyer , 1973. - (Romanistische Arbeitshefte ; 8)
The proceedings of the Bertrand Russell Memorial Logic Conference, Uldum, Denmark, 1971 / edited by John Bell ... [et al.]
Leeds : Bertrand Russell Memorial Logic Conference , 1973
Formale Logik und Grammatik / Hans Jürgen Heringer
Tübingen : M. Niemeyer , 1972. - (Germanistische Arbeitshefte ; 6)