- Automated Theorem-Proving in Non-Classical Logics.Paul B. Thistlewaite, M. A. Mcrobbie & Robert K. Meyer - 1988
- Environmental Philosophy.D. S. Mannison, M. A. McRobbie & Richard Sylvan (eds.) - 1980 - Dept. Of Philosophy, Research School of Social Sciences, Australian National University.
- Automated Deduction Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings. [REVIEW]M. A. Mcrobbie & J. K. Slaney - 1996
- TAKEUTI, G.: "Proof Theory". [REVIEW]M. A. Mcrobbie - 1977 - Australasian Journal of Philosophy 55:161.
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it: