Math and Logic Games

Table of Contents
7 Introduction
9 Games with numbers
9 An historical note
11 A first curiosity

...

179 Bibliograph163 Appendix: games with logic and probability
163 Note
164 Games with logic
167 Games with probability
177 List of maiy
181 Index

Challenging Math Puzzles

Can quantum operations, recombinant shapes, and concealed distribution actually lead to fun? Sure they can! Just try these optical illusions, mechanical aptitude puzzles, maps and mazes. "Selections are interesting."

Computer Algorithms 

DO BUY this book if: 1. You're taking a course in algorithms, have a good professor, and you need sufficient material in one source.

2. You enjoy challenges in which the material HAS been COMPLETELY presented logically but you need to figure out what's going on.

3. You can tolerate poor pedagogical methods as long as all the material is there in one place.

First-Order Logic

This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.

Godel's Incompleteness Theorems

Kurt Goedel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Goedel's incompleteness theorems.