Mathematical logic
Auteur :
Chiswell, Ian / Hodges, Wilfrid
Éditeur :
Oxford University Press
ISBN :
9780199215621
Date de publication :
17 mai 2007
Dimensions :
23,8 x 16,9 x 1,2 cm
Poids :
505 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.