A Short Introduction to Intuitionistic Logic
€ 179,90
Disponível para envio em 4/5 dias
Informação do Produto
| ISBN | 9780306463945 |
|---|---|
| Editora | Springer Science+Business Media |
| Preço (iva excl.) | € 169,72 |
| Imposto | € 10,18 |
| Preço (iva inc.) | € 179,90 |
| Disponibilidade | 2 unidades em armazém externo |
Descrição do Produto
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.