Lectures in logic and set theory: volume 1, mathematical logic
Auteur :
Tourlakis, George
Éditeur :
Cambridge University Press
ISBN :
9780521753739
Date de publication :
9 janv. 2003
Dimensions :
23,4 x 15,7 x 2,3 cm
Poids :
670 g
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.