Description
This established standard covers the basic topics for a first course in mathematical logic. In this edition, the author has added an extensive appendix on second-order logic, a section on set theory with urelements, and a section on the logic that results when we allow models with empty domains.
Détails du livre
Format
Kindle
Pages
494 pages
Langue
Anglais
Publié
août 11, 2009
Éditeur
Chapman and Hall/CRC
Éditions
3 éditions