Mathematical Logic

by Stephen Cole Kleene

Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.

Genres: Mathematics, Logic, Philosophy, Nonfiction, Computer Science, Reference

432 pages, Paperback

First published January 1, 1967

Reviews

[Ragdoll Metaphysics · Rating 5 out of 5]

Good starter text - am using it to prepare for a class and the exercises. You are expected to try to memorize or at least familiarize yourself with some theorems and lemmas but these are generally intuitive once you have gotten use to the symbolism. The problem sets help as well.

[Guy M · Rating 4 out of 5]

Still a good intro to model theory, proof theory, basic first-order logic, and some neat historical notes on the foundations of mathematics (Godel's proofs, the "war" between the formalists and intuitionists, etc.)

[Ryan O'neil · Rating 5 out of 5]

Great book, but one piece of advice before you read; find a PDF or intro-to-course online that introduces some of the basic concepts because the author jumps right in pretty quickly.