Dale Miller: Proof Theory and Logic Programming, Gebunden

Dale Miller

Proof Theory and Logic Programming

Buch

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 100,53

Verlängerter Rückgabezeitraum bis 31. Januar 2026

Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2025 gekauft wurden, können bis zum 31. Januar 2026 zurückgegeben werden.

Versandkosten (United States of America): EUR 19,90

Verlag:: Cambridge University Press, 11/2025
Einband:: Gebunden
Sprache:: Englisch
ISBN-13:: 9781009561297
Artikelnummer:: 12289427
Umfang:: 334 Seiten
Gewicht:: 636 g
Maße:: 235 x 157 mm
Stärke:: 23 mm
Erscheinungstermin:: 10.11.2025
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

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.