Proof theory and logic programming : computation as proof search /

Bibliographic Details

Main Author:	Miller, Dale, 1956- (Author)
Corporate Author:	Cambridge University Press
Format:	eBook
Language:	English
Published:	Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2026.
Subjects:	Logic programming. Proof theory. Programmation logique. Théorie de la preuve. Logic programming Proof theory Electronic books.
Online Access:	Connect to the full text of this electronic book