Lectures in logic and set theory: volume 1, mathematical logic
Auteur :
Tourlakis, George
Éditeur :
Cambridge University Press
ISBN :
9780521168465
Date de publication :
9 sept. 2010
Dimensions :
22,9 x 15,2 x 1,9 cm
Poids :
510 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.