Dale Miller: Proof Theory and Logic Programming, Gebunden

Dale Miller

Proof Theory and Logic Programming

Buch

Computation as Proof Search

Artikel noch nicht erschienen, voraussichtlicher Liefertermin ist der 18.12.2025.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.

Aktueller Preis: EUR 94,72

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, 12/2025
Einband:: Gebunden
Sprache:: Englisch
ISBN-13:: 9781009561297
Artikelnummer:: 12289427
Umfang:: 334 Seiten
Erscheinungstermin:: 18.12.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.