1.

図書
図書
1. An introduction to Gödel's Theorems
Peter Smith
出版情報: Cambridge, UK : Cambridge University Press, 2007
シリーズ名: Cambridge introductions to philosophy
所蔵情報: loading…
2.

図書
図書
2. Computability and logic. 5th ed
George S. Boolos, John P. Burgess, Richard C. Jeffrey
出版情報: Cambridge : Cambridge University Press, 2007
所蔵情報: loading…
3.

図書
図書
3. Fundamentals of mathematical logic
Peter G. Hinman
出版情報: Wellesley, Mass. : A.K. Peters, c2005
所蔵情報: loading…
4.

図書
図書
4. Handbook of logic and language. 2nd ed
Johan van Benthem, Alice ter Meulen
出版情報: London : Elsevier, 2011
シリーズ名: Elsevier insights
所蔵情報: loading…
5.

図書
図書
5. A mathematical introduction to logic. 2nd ed
Herbert B. Enderton
出版情報: San Diego : Harcourt/Academic Press, c2001
所蔵情報: loading…
6.

図書
図書
6. Logic and structure. 4th ed
Dirk van Dalen
出版情報: Berlin : Springer, c2004
シリーズ名: Universitext
所蔵情報: loading…
7.

図書
図書
7. Logical forms : an introduction to philosophical logic. 2nd ed
Mark Sainsbury
出版情報: Oxford, UK : Blackwell Publishers, 2001
所蔵情報: loading…
8.

図書
図書
8. Intermediate logic
David Bostock
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1997
所蔵情報: loading…
9.

図書
図書
9. 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
シリーズ名: 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…
10.

図書
図書
10. First-order dynamic logic
David Harel
出版情報: Berlin ; Tokyo : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 68
所蔵情報: loading…