Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

How to Solve It: A New Aspect of Mathematical Method

Crafting Interpreters

Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

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

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

What Is Mathematics?: An Elementary Approach to Ideas and Methods, Edition 2

Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

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

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Zero: The Biography of a Dangerous Idea

Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings

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

Humble Pi: A Comedy of Maths Errors

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