Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to the subject of logic and its apllications. The first part of the …
Kurt Godel, 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 …
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano …