How to Solve It: A New Aspect of Mathematical Method

Being Logical: A Guide to Good Thinking

Limits of AI - theoretical, practical, ethical

A Rulebook for Arguments: Edition 5

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

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

How to Win Every Argument: The Use and Abuse of Logic, Edition 2

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

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

A Course in Miracles - Explanations of Major Themes

Axiomatic Thinking II

Axiomatic Thinking I

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

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers