Logic and Structure
€ 87,90
Envio em 4/5 dias
Informação do Produto
| ISBN | 9781447145578 |
|---|---|
| Editora | Springer London Ltd |
| Preço (iva excl.) | € 82,92 |
| Imposto | € 4,98 |
| Preço (iva inc.) | € 87,90 |
| Disponibilidade | 2 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.