Intensionality: Lecture Notes in Logic 22

Being Logical: A Guide to Good Thinking

How to Solve It: A New Aspect of Mathematical Method

Limits of AI - theoretical, practical, ethical

Turing’s Revolution: The Impact of His Ideas about Computability

A Rulebook for Arguments: Edition 5

The Legacy of Kurt Schütte

Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)

Gentzen's Centenary: The Quest for Consistency

The Philosopher's Book of Questions & Answers: Questions to Open Your Mind

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

An Illustrated Book of Bad Arguments: Learn the Lost Art of Making Sense (Bad Arguments)

A Course in Miracles - Explanations of Major Themes

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Axiomatic Thinking I

A Reasonable Response: Answers to Tough Questions on God, Christianity, and the Bible

Axiomatic Thinking II