Lectures in Logic and Set Theory |
|
| Author:
| Tourlakis, George J. |
| Series title: | Cambridge Studies in Advanced Mathematics Ser. |
| ISBN: | 978-0-521-75374-6 |
| Publication Date: | Feb 2003 |
| Publisher: | Cambridge University Press
|
| Book Format: | Hardback |
| List Price: | USD $195.00 |
Book Description:
|
Meant as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy, this two-volume work is written in a user-friendly conversational lecture style that makes it equally effective for self-study or class use.Volume I includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first...
More DescriptionMeant as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy, this two-volume work is written in a user-friendly conversational lecture style that makes it equally effective for self-study or class use.Volume I includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen.