close
1.

図書
図書
1. Handbook of mathematical logic (: pbk)
edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1977  xi, 1165 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 90
所蔵情報: loading…
目次情報: 続きを見る
Model Theory / J. Barwise ; P.C. Eklof ; H.J. Keisler ; A. Kock ; A. Macintyre ; M. Makkai ; M. Morley ; G.E. Reyes ; K.D. Stroyan
Set Theory / J.P. Burgess ; K.J. Devlin ; T.J. Jech ; I. Juhasz ; K. Kunen ; M.E. Rudin ; J.R. Schoenfield
Recursion Theory / P. Aczel ; M. Davis ; H.B. Enderton ; A. Kechris ; D.A. Martin ; Y.N. Moschovakis ; M.O. Rabin ; R.A. Shore ; S.G. Simpson
Proof Theory and Constructive Mathematics / H. Barendregt ; S. Feferman ; M.P. Fourman ; L. Harrington ; J. Paris ; H. Schwichtenberg ; C. Smorynski ; R. Statman ; A.S. Troelstra
Indices
Model Theory / J. Barwise ; P.C. Eklof ; H.J. Keisler ; A. Kock ; A. Macintyre ; M. Makkai ; M. Morley ; G.E. Reyes ; K.D. Stroyan
Set Theory / J.P. Burgess ; K.J. Devlin ; T.J. Jech ; I. Juhasz ; K. Kunen ; M.E. Rudin ; J.R. Schoenfield
Recursion Theory / P. Aczel ; M. Davis ; H.B. Enderton ; A. Kechris ; D.A. Martin ; Y.N. Moschovakis ; M.O. Rabin ; R.A. Shore ; S.G. Simpson
2.

図書
図書
2. Symbolic logic and mechanical theorem proving
Chin-Liang Chang, Richard Char-Tung Lee
出版情報: New York : Academic Press, c1973  xiii, 331 p. ; 24 cm
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
3.

図書
図書
3. Introduction to mathematical logic : set theory, computable functions, model theory (: us ; : gw ; : pbk.)
Jerome Malitz
出版情報: New York ; Tokyo : Springer-Verlag, c1979  xii, 198 p. ; 25 cm
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
4.

図書
図書
4. Selected works, Jan Lukasiewicz
edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
出版情報: Amsterdam ; London : North-Holland, 1970  xii, 405 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
5.

図書
図書
5. Inductive probability
by John Patrick Day
出版情報: London : Routledge & K. Paul, 1961  xvi, 336 p. ; 23 cm
シリーズ名: International library of philosophy and scientific method
所蔵情報: loading…
6.

図書
図書
6. Deduction methodologies
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994  xv, 511 p. ; 24 cm
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 2
所蔵情報: loading…
目次情報: 続きを見る
Automated Reasoning / L. Wos ; R. Veroff2.1：
General Unification Theory / J. Siekmann2.2：
Induction / Ch. Walther2.3：
Higher-Order Features, Types and Fixpoints / D. Leivant2.4：
Metalanguages, Reflection Principles and Self Reference / D. Perlis ; V.S. Subrahmanian2.5：
Classical vs non-classical Logic / D. Gabbay2.6：
Automated Reasoning / L. Wos ; R. Veroff2.1：
General Unification Theory / J. Siekmann2.2：
Induction / Ch. Walther2.3：
7.

図書
図書
7. Nonmonotonic reasoning and uncertain reasoning
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994  xix, 529 p. ; 24 cm
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 3
所蔵情報: loading…
目次情報: 続きを見る
AI and Nonmonotonic Reasoning / M. Ginsberg3.1：
General Non monotonic Logic / D. Makinson3.2：
Some direct theories of nonmonotonic Inheritance / J. Horty3.3：
Default Logic / D. Poole3.4：
Autoepistemic Logic / K. Konolige3.5：
Circumscription / V. Lifschitz3.6：
Defeasible Logic / D. Nute3.7：
Probabilistic Logic / H. Kyburg3.8：
Possibilistic Logic / 3.9：
AI and Nonmonotonic Reasoning / M. Ginsberg3.1：
General Non monotonic Logic / D. Makinson3.2：
Some direct theories of nonmonotonic Inheritance / J. Horty3.3：
8.

図書
図書
8. Foundations without foundationalism : a case for second-order logic (: pbk)
Stewart Shapiro
出版情報: Oxford : Clarendon Press , New York ; Tokyo : Oxford University Press, 1991  xx, 277 p. ; 25 cm
シリーズ名: Oxford logic guides ; 17
所蔵情報: loading…
目次情報: 続きを見る
foundations Without Foundationalism
Oxford Logic Guides: 17
Foundations Without Foundationalism
Preface
Preface to Paperback Edition
Orientation / Part I：
Terms and Questions / 1：
Foundationalism and Foundations of Mathematics / 2：
Logic and Mathematics / Part II：
Theory / 3：
Metatheory / 4：
Second-Order Logic and Mathematics / 5：
Advanced Metatheory / 6：
History and Philosophy / Part III：
The Historical 'Triumph' of First-Order Languages / 7：
Second-Order Logic and Rule-Following / 8：
The Competition / 9：
References
Index
foundations Without Foundationalism
Oxford Logic Guides: 17
Foundations Without Foundationalism
9.

図書
図書
9. Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
edited by J.N. Crossley and M.A.E. Dummett
出版情報: Amsterdam : North-Holland, 1965  320 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼