Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

How to Solve It: A New Aspect of Mathematical Method

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Short Tricks of Math

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

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

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

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

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

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

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

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

536 Puzzles and Curious Problems

Deductive Software Verification – The KeY Book: From Theory to Practice

Logic: A Very Short Introduction: Edition 2

Electronic Voting: 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings

Foundations and Fundamental Concepts of Mathematics

That's Maths: The Mathematical Magic in Everyday Life

The Canterbury Puzzles and Other Curious Problems