by J. Barkley Jr. Rosser (Author), Mathematics (Author)

Examination of essential topics and theorems assumes no background in logic. "Undoubtedly a major addition to the literature of mathematical logic." - Bulletin of the American Mathematical Society. 1978 edition.