Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Rilegato

Tourlakis, George

 
9780521753739: Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

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

Descrizione del libro

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo