Proof Theory and Logic Programming
€ 95,90
Envio em 4/5 dias
Informação do Produto
| ISBN | 9781009561297 |
|---|---|
| Editora | Cambridge University Press |
| Data de Publicação | 18/12/2025 |
| Preço (iva excl.) | € 90,47 |
| Imposto | € 5,43 |
| Preço (iva inc.) | € 95,90 |
| Disponibilidade | 2 unidades em armazém externo |
Descrição do Produto
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.