Lectures in logic and set theory. [EBook] / George Tourlakis. Volume 1, Mathematical logic
Lectures in logic and set theory. [EBook] / George Tourlakis. Volume 1, Mathematical logic
This twovolume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are writ...
Personal Name(s):  Tourlakis, George J., (author) 

Imprint: 
Cambridge :
Cambridge University Press,
2003

Physical Description: 
1 online resource (xi, 328 pages) 
Note: 
englisch 
ISBN: 
9780521753739 9780511615559 9780521168465 
Series Title: 
Cambridge studies in advanced mathematics ;
82 
Subject (LOC):  
Full Text 
This twovolume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a userfriendly conversational lecture style that makes them equally effective for selfstudy or class use. Volume 1 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 theorem. 