The unit preference strategy in theorem proving

by Lawrence Wos, Daniel Carson, and George Robinson · 1 review · 1967

Metaphysics & Logic

Also by Robinson

• The Givenness of Things (11 reviews)
• Deeper Than Reason: Emotion and Its Role in Literature, Music, and Art (9 reviews)
• Plato's Psychology (7 reviews)
• Matter and Sense (6 reviews)
• Duty and Hypocrisy in Hegel's 'Phenomenology of Mind': An Essay in the Real and Ideal (5 reviews)
• Praise and Blame: Moral Realism and Its Applications (5 reviews)
• Renascent Rationalism (4 reviews)
• Brains and People (3 reviews)

Search PhilReviews for this title