Term Rewriting and All That

How to Solve It: A New Aspect of Mathematical Method

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Crafting Interpreters

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

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)

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 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

Compiler Design

536 Puzzles and Curious Problems

Foundations and Fundamental Concepts of Mathematics

Logic: A Very Short Introduction: Edition 2

That's Maths: The Mathematical Magic in Everyday Life

The Canterbury Puzzles and Other Curious Problems

Xamarin Mobile Application Development: Cross-Platform C# and Xamarin.Forms Fundamentals

C++ Quick Syntax Reference

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

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops