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

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.