First course in logic, a: an introduction to model theory, proof theory, computability, and complexity
Auteur :
Hedman, Shawn
Éditeur :
Oxford University Press
ISBN :
9780198529811
Date de publication :
8 juil. 2004
Dimensions :
23,9 x 16,9 x 2,6 cm
Poids :
767 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course.