Mathematics of logic, the: a guide to completeness theorems and their applications
Auteur :
Kaye, Richard W.
Éditeur :
Cambridge University Press
ISBN :
9780521708777
Date de publication :
12 juil. 2007
Dimensions :
22,5 x 15,3 x 1,0 cm
Poids :
304 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Undergraduate textbook covering the key material for a typical first course in logic, including a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. The author ensures that the number of new concepts at each stage is manageable, whilst providing lively mathematical applications throughout.