Mathematical Logic

Auteur: Chiswell, Ian (Queen Mary, University of London)
Editeur: Oxford University Press
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.
Sur commande
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.
ISBN / EAN 9780199215621
Auteur Chiswell, Ian (Queen Mary, University of London)
Editeur Oxford University Press