Author: Stephen Cole Kleene
Year: 1967
Rank:
Rating:
Original Rating:
Pop Rating:
Genres/categories:
Science
Purchase/reserch links:
ISBNs:
9780486425337
0486425339 |
| 
Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.
Similar books:
|
