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

Being Logical: A Guide to Good Thinking

How to Solve It: A New Aspect of Mathematical Method

Short Tricks of Math

Alan Turing: The Enigma: The Book That Inspired the Film The Imitation Game - Updated Edition

Humble Pi: A Comedy of Maths Errors

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

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

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

Zero: The Biography of a Dangerous Idea

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

A Course in Miracles - Explanations of Major Themes

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

Fast Math: Learn the Secrets of Mental Math: By Using Vedic Math and Other Math Tricks to Perform Mental Calculations from Multiplication to Percentages without Calculators