A Proof-Theoretic Analysis of Goal-Directed Provability (1992)

Cached

Download Links

by James Harland
Venue:Journal of Logic and Computation
Citations:14 - 7 self

Document Versions

A Proof-Theoretic Analysis of Goal-Directed Provability –James Harland — 1992 — Journal of Logic and Computation
A Proof-Theoretic Analysis of Goal-Directed Provability –James Harland — 1994 — Journal of Logic and Computation