Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

How to Solve It: A New Aspect of Mathematical Method

Short Tricks of Math

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

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

Mathematical Knowledge Management: 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings

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

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, 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

Mathematical Software – ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings

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

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

Topos Theory