Mathematical logic
Auteur :
Chiswell, Ian / Hodges, Wilfrid
Éditeur :
Oxford University Press
ISBN :
9780198571001
Date de publication :
17 mai 2007
Dimensions :
24,6 x 17,7 x 1,7 cm
Poids :
643 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.