What Does Goedel's second Theorem Say? by Michael Detlefsen
Modal Logic
Fundamentals Of Metalogic
Discover Psychology 2.0: A Brief Introductory Text
Mathematics for Computer Science
Mathematics for Computer Science
A Concise Introduction to Logic
Free Quantified Epistemic Logics
Analyzing Meaning: An Introduction to Semantics and Pragmatics
Where Morals Come From-And Why it Matters