Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Godel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.
![Popular Lectures on Mathematical Logic Popular Lectures on Mathematical Logic](https://www.angusrobertson.com.au/images/9780486676326.jpg?width=250)
Share This Book: