How to Solve It: A New Aspect of Mathematical Method

The Aaronsohn Saga

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)

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 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

25 Years of Model Checking: History, Achievements, Perspectives

536 Puzzles and Curious Problems

Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling

Foundations and Fundamental Concepts of Mathematics

Transactions on Aspect-Oriented Software Development VIII

Logic: A Very Short Introduction: Edition 2

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

That's Maths: The Mathematical Magic in Everyday Life

Model Checking, second edition

The Canterbury Puzzles and Other Curious Problems

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