DMCA
On Goal-Directed Provability in Classical Logic (1994)
Cached
Download Links
- [www.cs.rmit.edu.au]
- [munkora.cs.mu.oz.au]
- DBLP
Other Repositories/Bibliography
by
James Harland
,
Royal Melbourne
Citations: | 5 - 1 self |