Proof Cambridge University Press Proof Theory and Logic Programming Hardcover

Proof Cambridge University Press Proof Theory and Logic Programming Hardcover

Alle 1 prijzen en aanbieders

Meest populaire keuze – Scherpste prijs!
Amazon Marketplace· Marketplace
€ 82,60
6 of meer dagenGratis verzending
Check de website voor de levertijd | Gratis bezorgd > €20,-
Bekijk product
Bekijk product

Specificaties

Algemeen
Gewicht
1 kg - 1,5 kg
EAN
9781009561297

Productomschrijving

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.

Er zijn nog geen reviews geschreven

Vraag 1 van 4

Heb jij dit product in bezit en wil je graag je mening geven? Start dan hieronder met het schrijven van je review. Afhankelijk van de details duurt het schrijven van een review gemiddeld tussen de 3 en 10 minuten. Met jouw mening help je andere bezoekers een betere keuze te maken én maak je iedere maand kans op €250,-! Klik hier voor de actievoorwaarden.

Welk cijfer geef jij dit product?