Logic and Structure
€ 79,90
Disponível para envio em 4/5 dias
Informação do Produto
| ISBN | 9781447145578 |
|---|---|
| Editora | Springer London Ltd |
| Preço (iva excl.) | € 75,38 |
| Imposto | € 4,52 |
| Preço (iva inc.) | € 79,90 |
| Disponibilidade | 3 unidades em armazém externo |
Descrição do Produto
Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. The discussion of classical logic is concluded with a concise exposition of second-order logic.