Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

How to Solve It: A New Aspect of Mathematical Method

Short Tricks of Math

A Discipline of Multiprogramming: Programming Theory for Distributed Applications

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

Effective Theories in Programming Practice

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

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 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

From Action Systems to Distributed Systems: The Refinement Approach

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

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

536 Puzzles and Curious Problems

Program Development by Refinement: Case Studies Using the B Method

Logic: A Very Short Introduction: Edition 2

Term Rewriting and All That

Foundations and Fundamental Concepts of Mathematics

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

That's Maths: The Mathematical Magic in Everyday Life