Vad kostar Proof Theory and Logic Programming?

Proof Theory and Logic Programming kostar från 747 kr hos våra partners.

Var kan jag köpa Proof Theory and Logic Programming?

Du kan köpa Proof Theory and Logic Programming hos Akademibokhandeln, Bokus eller Adlibris. Jämför priser för att hitta bästa erbjudandet.

Data och IT

Proof Theory and Logic Programming

av Dale Miller

Utgiven av Cambridge University Press

Format

Inbunden

Sidor

334 sidor

Språk

Engelska

Utgiven

dec. 2025

Jämför priser

Från 747 kr

Bästa pris

747 kr

758 kr

969 kr

Priserna uppdateras löpande från säkra och trygga butiker.

Köp hos adlibris

Om boken

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.