Descrição
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.
Detalhes do Livro
Formato
Kindle
Páginas
494 páginas
Idioma
Inglês
Publicado
ago 11, 2009
Editora
Chapman and Hall/CRC
Edições
3 edições