Proving a theorem (as done by man, logician, or machine)

by Abraham Robinson · 1 review · 1968

Reviewed by Journal Date Access
J. A. Robinson The Journal of Symbolic Logic 1968 Restricted

Metaphysics & Logic

Also by Robinson

Search PhilReviews for this title