Canonical Equational Proofs

by Leo Bachmair · 1 review · 1992

Reviewed by Journal Date Access
John Pedersen The Philosophical Quarterly 1992-07-01 Restricted

Metaphysics & Logic Epistemology & Philosophy of Mind

Also by Bachmair

Search PhilReviews for this title