Hoppa till innehållet

Cambridge University Press

Proof Theory and Logic Programming

  • Vikt 0,67 kg

951 krhos Bokus · exkl. frakt

288 kr skillnad mellan billigaste och dyraste butik i lager

951 kr1 239 kr

Dubbelkollade priser

Jämför 3 butiker

Priser från butikernas flöden kan ha ändrats: det är priset hos butiken som gäller, så kontrollera det innan du handlar.

Prishistorik

Köp nu eller vänta?

Just nu kostar produkten 951 kr — 94 kr över det lägsta vi sett på 1 månad.

Under den tiden har det oftast legat runt 870–950 kr.

Pris idag

951 kr

1 000900800
snitt 910 kr15 sep.Idag
15 september 2026
857 kr
Lägst hos Adlibris
Lägst
857 kr
Snitt
910 kr
Högst
951 kr
Lägsta pris per dag
2026-09-15857 kr · Lägst hos Adlibris
2026-09-17867 kr · Lägst hos Adlibris
2026-10-08951 kr · Lägst hos Bokus

Om produkten

Proof Theory and Logic Programming

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.

Specifikationer

Fakta

Vikt
0,67 kg
GTIN
09781009561297

Uppgifter från tillverkare och butiker.