Proof Theory and Logic Programming

Proof Theory and Logic Programming: Computation as Proof Search verfasst von Dale Miller und veröffentlicht von Cambridge University Press. Die Digital- und eTextbook-ISBNs für Proof Theory and Logic Programming lauten 9781009561310, 1009561316 und die Druck-ISBNs lauten 9781009561297, 1009561294. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Proof Theory and Logic Programming: Computation as Proof Search verfasst von Dale Miller und veröffentlicht von Cambridge University Press. Die Digital- und eTextbook-ISBNs für Proof Theory and Logic Programming lauten 9781009561310, 1009561316 und die Druck-ISBNs lauten 9781009561297, 1009561294. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.