Big Data: 29th British National Conference on databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings

How to Solve It: A New Aspect of Mathematical Method

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

Crafting Interpreters

Logic Programming and Databases

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

Advances in Databases and Information Systems: 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings

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

Reasoning Web. Semantic Technologies for Intelligent Data Access: 9th International Summer School 2013, Mannheim, Germany, July 30 -- August 2, 2013. 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

Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers

Compiler Design

Rule Technologies: Foundations, Tools, and Applications: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

536 Puzzles and Curious Problems

SOFSEM 2012: Theory and Practice of Computer Science: 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012, Proceedings

Foundations and Fundamental Concepts of Mathematics

Reasoning Web. Semantic Interoperability on the Web: 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

Logic: A Very Short Introduction: Edition 2

That's Maths: The Mathematical Magic in Everyday Life