Logic: form and function. The mechanization of deductive reasoning

by J. A. Robinson · 1 review · 1986

Reviewed by Journal Date Access
J. D. Halpern The Journal of Symbolic Logic 1986 Restricted

Metaphysics & Logic

Also by Robinson

Search PhilReviews for this title