Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings

How to Solve It: A New Aspect of Mathematical Method

Short Tricks of Math

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

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

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

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

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

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

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