京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:66件
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
図書
Introduction to mathematical logic / Elliott Mendelson
New York : Van Nostrand , c1964. - (The university series in undergraduate mathematics)
Constructive order types / [By] John N. Crossley
Amsterdam ; London : North-Holland Pub. Co. , 1969. - (Studies in logic and the foundations of mathematics)
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
: pbk. - Amsterdam ; New York : North-Holland Pub. Co. , 1977. - (Studies in logic and the foundations of mathematics ; v. 90)
A course in mathematical logic / Yu.I. Manin ; translated from the Russian by Neal Koblitz
: us,: gw. - New York : Springer-Verlag , c1977. - (Graduate texts in mathematics ; 53)
Logical and logico-mathematical calculi. 2 / Edited by V. P. Orevkov
Providence, R.I. : American Mathematical Society , 1974. - (Proceedings of the Steklov Institute of Mathematics ; no. 121)
An introduction to symbolic logic / by Susanne K. Langer
2nd ed. rev. - New York : Dover Publications , 1953
Symbolic logic / by Clarence Irving Lewis and Cooper Harold Langford
2nd ed. - New York : Dover Publications , c1959
Einführung in die Logistik vorzüglich in den Modalkalkül / von Oskar Becker
Meisenheim : Westkulturverlag A. Hain , c1951
Introduction to symbolic logic / by A.H. Basson, and D.J. O'Connor
London : University Tutorial Press , 1953
How to prove it : a structured approach / Daniel J. Velleman
:hbk,:pbk. - 2nd ed. - New York : Cambridge University Press , c2006
What is a logical system? / edited by D.M. Gabbay
Oxford : Clarendon Press. - New York : Oxford University Press , 1994. - (Studies in logic and computation ; 4)
Mathematico-deductive theory of rote learning : a study in scientific methodology / by Clark L. Hull ... [et al.]
New Haven : Yale University Press. - London : Oxford University Press , 1940
Gödel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter
New York : Harvester Wheatsheaf , 1979
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions / Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-Mohring
Berlin : Springer , c2004. - (Texts in theoretical computer science ; An EATCS series)
Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 6)
Set theory / Andreas R. Blass (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 5)
Recursion theory / Peter G. Hinman (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 4)
Model theory / Heinz-Dieter Ebbinghaus (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 3)
Non-classical logics / Wolfgang Rautenberg (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 2)