Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

How to Solve It: A New Aspect of Mathematical Method

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Short Tricks of Math

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

Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

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

Rigorous Development of Complex Fault-Tolerant Systems

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

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations

Methods, Models and Tools for Fault Tolerance

536 Puzzles and Curious Problems

Logic: A Very Short Introduction: Edition 2

Foundations and Fundamental Concepts of Mathematics

That's Maths: The Mathematical Magic in Everyday Life

The Canterbury Puzzles and Other Curious Problems

Puzzles of Reason: Journey into Logic

A Beginner's Guide to Mathematical Logic