Automated theorem proving. A logical basis. Fundamental studies in computer science, vol

by Donald W. Loveland · 1 review · 1980

Metaphysics & Logic

Also by Loveland

• An Alternative Encyclopedia? Dennis de Coetlogon's 'Universal History' (1745) (1 review)
• Rhetoric and Natural History: Buffon in Polemical and Literary Context (Studies on Voltaire and the Eighteenth Century) (1 review)
• Southern Evangelicals and the Social Order: 1800-1860 (1 review)
• Three Views of Logic: Mathematics, Philosophy and Computer Science (1 review)

Search PhilReviews for this title