Catégorie de recherche
Problème de recherche ?

First Course in Logic

Auteur: Hedman, Shawn (Department of Mathematics, Florida Southern College)
Editeur: Oxford University Press
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.
Sur commande
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.
ISBN / EAN 9780198529811
Auteur Hedman, Shawn (Department of Mathematics, Florida Southern College)
Editeur Oxford University Press