Descrizione
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.
Dettagli del libro
Formato
Kindle
Pagine
494 pagine
Lingua
Inglese
Pubblicato
ago 11, 2009
Editore
Chapman and Hall/CRC
Edizioni
3 edizioni