Multiprocessor Execution of Logic Programs

How to Solve It: A New Aspect of Mathematical Method

Practical Aspects of Declarative Languages: First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings

Short Tricks of Math

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

Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

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

Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 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

Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, 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