Descripción
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.
Detalles del libro
Formato
Kindle
Páginas
494 páginas
Idioma
Inglés
Publicado
ago. 11, 2009
Editorial
Chapman and Hall/CRC
Ediciones
3 ediciones