On Goal-Directed Provability in Classical Logic (1994)

Cached

Download Links

by James Harland , Royal Melbourne
Citations:5 - 1 self