全然、読んでないや。
2ch:数学板 数理論理学基礎 で書いてあった非古典論理の本
- Graham Priest, An Introduction to Non-Classical Logic
- Greg Restall, An Introduction to Substructural Logics
- Paraconsisnt Logic: Essays on the Inconsistent (Analytica)
- Frontiers of Paraconsistent Logic (Studies in Logic and Computation Series, 8)
- Richard Routley, Relevant Logics and Their Rivals
- L. Goble (ed.), The Blackwell Guide to Philosophical Logic (Blackwell, 2001)
- Temporal Logic: Mathematical Foundations and Computational Aspects (OXFORD LOGIC GUIDES)
Webでみれる論理関係の本
- M. Barr & C. Wells, _Toposes, Triples and Theories_, Springer, 1983
- M. Fitting, _Numbers_, unpublished. (PDF)
- M. Fitting, _Notes on Incompleteness and Undecidability_, unpublished (PDF)
- J.-Y. Girard, et al., _Proofs and Types_, Cambridge U.P., 1989. (PDF)
- V. Halbach, _Einfuhrung in die Logik_, published online. (PDF)
- S. Hayashi & H. Nakano, _PX: A Computational Logic_, MIT Press, 1988.
- B. Nordstr\"{o}m, et al., _Programming in Martin-L\"{o}f's Type Theory_, Oxford U.P., 1990.