Lectures in Logic and Set Theory: Volume I: Mathematical Logic: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82) - Softcover

Tourlakis, George

 
9780521168465: Lectures in Logic and Set Theory: Volume I: Mathematical Logic: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Synopsis

This two-volume set bridges the gap between introductory texts and the research literature.

"synopsis" may belong to another edition of this title.

Review

Review of the hardback: ' ... stands among the dozen or so books that will remain within easy reach from my desk ... a highly worthwhile addition to the literature.' The Review of Modern Logic

Book Description

This work includes formal proof techniques, a section on applications of compactness, 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.

"About this title" may belong to another edition of this title.