大学の資料を検索します。
CiNiiを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:44件
Mathematical reasoning : analogies, metaphors, and images / edited by Lyn D. English
: pbk.. - Mahwah, N.J. : L. Erlbaum Associates , 1997. - (Studies in mathematical thinking and learning)
図書
The Frege reader / edited by Michael Beaney
: hbk,: pbk. - Oxford : Blackwell , 1997
Logic with trees : an introduction to symbolic logic / Colin Howson
: pbk. - New York : Routledge , 1997
Language in action : categories, lambdasand dynamic logic / Johan van Benthem
1st MIT Press ed. - Cambridge, Mass. : MIT Press , 1995, c1991
The logical status of diagrams / Sun-Joo Shin
Cambridge [England] : Cambridge University Press , 1994
Foundations of logic : 1903-05 / Bertrand Russell ; edited by Alasdair Urquhart with the assistance of Albert C. Lewis
London : Routledge , 1994. - (The collected papers of Bertrand Russell / general editor, John Passmore ; v. 4)
Mathematical logic quarterly : MLQ
Vol. 39, no. 1 (1993)-. - Leipzig : Johann Ambrosius Barth , c1993-
雑誌
Foundations without foundationalism : a case for second-order logic / Stewart Shapiro
:pbk. - Oxford : Clarendon Press. - New York : Oxford University Press , 1991. - (Oxford logic guides ; 17)
A study of logics / John P. Cleave
Oxford : Clarendon Press. - New York : Oxford University Press , 1991. - (Oxford logic guides ; 18)
Computability and logic / George S. Boolos, Richard C.Jeffrey
: pbk. - 3rd ed. - Cambridge, [Cambridgeshire] : Cambridge University Press , 1989
Toposes and local set theories : an introduction / J.L. Bell
Oxford : Clarendon Press. - Tokyo : Oxford University Press , 1988. - (Oxford logic guides ; 14)
Archive for mathematical logic
Vol. 27, no. 1 (Feb. 1988)-. - Berlin : Springer International , c1988-
Non-classical logics / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; ; v. 2Ω-bibliography of mathematical logic /)
Recursion theory / Peter G. Hinman (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; ; v. 4Ω-bibliography of mathematical logic /)
Model theory / Heinz-Dieter Ebbinghaus (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; ; v. 3Ω-bibliography of mathematical logic /)
Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen and Anne S. Troelstra (editors)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; ; v. 6Ω-bibliography of mathematical logic /)
Set theory / Andreas R. Blass (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; ; v. 5Ω-bibliography of mathematical logic /edited by Gert H. Müller in collaboration with Wolfgang Lenski)
Classical logic / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; ; v. 1Ω-bibliography of mathematical logic /)
An outline of set theory / James M. Henle
: U.S.,: Germany. - New York : Springer-Verlag , c1986. - (Problem books in mathematics / edited by K.Bencsáth and P.R. Halmos)
Natural language understanding and logic programming
Amsterdam : North-Holand. - New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1985-