On automatic deduction

by John Alan Robinson · 1 review · 1966

Reviewed by Journal Date Access
David Luckham The Journal of Symbolic Logic 1966-09-02 Restricted

Metaphysics & Logic

Also by Robinson

Search PhilReviews for this title