- Mathematical logic and formalized theories;: A survey of basic concepts and results by Robert Rogers, 1971
- An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems by Merrie Bergmann, 2008-01-14
- An Introduction to Probability and Inductive Logic by Ian Hacking, 2001-07-02
- Domain Theory, Logic and Computation (Semantics Structures in Computation)
- Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science)
- Mathematical Reasoning: Patterns, Problems, Conjectures, and Proofs by Raymond Nickerson, 2009-12-23
- Logic: From Foundations to Applications: European Logic Colloquium (Oxford Science Publications)
- Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) by J. Lambek, P. J. Scott, 1988-03-25
- Logic for Applications (Texts in Computer Science) by Anil Nerode, Richard A. Shore, 1997-01-17
- Higher Recursion Theory (Perspectives in Mathematical Logic) by Gerald E. Sacks, 2010-11-02
- Fuzzy Logic for Beginners by Masao Mukaidono, 2001-02-28
- Admissible Sets, and Structures: An Approaches to Definability Theory (Perspectives in Mathematical Logic) by K. J. Barwise, 1976-06
- The Elements of Mathematical Logic by Paul C. Rosenbloom, 2005-10-12
- Symbolic logic and The game of logic;: Mathematical recreations of Lewis Carroll by Lewis Carroll, 1972
|