Mathematical logic: part 1: propositional calculus, boolean algebras, predicate calculus, completeness theorems
Auteur :
Cori, René / Lascar, Daniel
Éditeur :
Oxford University Press
ISBN :
9780198500490
Date de publication :
7 sept. 2000
Dimensions :
24,1 x 16,1 x 2,4 cm
Poids :
638 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
The requirement to reason logically forms the basis of all mathematics, and hence mathematical logic is one of the most fundamental topics that students will study. Assuming no prior knowledge of the topic, this book provides an accessible introduction for advanced undergraduate students.