Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

How to Solve It: A New Aspect of Mathematical Method

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

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

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

Proofs and Computations

Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing

536 Puzzles and Curious Problems

Foundations and Fundamental Concepts of Mathematics

Logic: A Very Short Introduction: Edition 2

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

That's Maths: The Mathematical Magic in Everyday Life

The Canterbury Puzzles and Other Curious Problems

Handbook of Constructive Mathematics