Axiomatic Thinking II

How to Solve It: A New Aspect of Mathematical Method

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

Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information

What Is Mathematics?: An Elementary Approach to Ideas and Methods, Edition 2

Gentzen's Centenary: The Quest for Consistency

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

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

Zero: The Biography of a Dangerous Idea

Limits of AI - theoretical, practical, ethical

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

The Legacy of Kurt Schütte

Humble Pi: A Comedy of Maths Errors

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

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

536 Puzzles and Curious Problems

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

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings