Result: Proof theory and logic programming

*Title*:

Proof theory and logic programming : computation as proof search / Dale Miller

*Author/editor-in-chief*:

*Publication*:

Cambridge : Cambridge University Press, 2026

*Distribution*:

Cambridge, UK : Cambridge University Press

*Physical description scale*:

1 Online-Ressource (xiii, 319 pages)

*Format*:

*eBook*

*Language*:

*eng*

*ISBN*:

9781009561280 ; 9781009561297 (Sekundärausgabe)

*DOI*:

10.1017/9781009561280

*Result*: Proof theory and logic programming