Book Announcement: “Proof Theory and Logic Programming: Computation as Proof Search”

Dale Miller

Abstract


Book Announcement:
“Proof Theory and Logic Programming:
Computation as Proof Search”

Full Text:

PDF

Refbacks

  • There are currently no refbacks.