A computational logic

by Robert S Boyer · 1 review · 1990

Reviewed by Journal Date Access
Dale Miller The Journal of Symbolic Logic 1990 Restricted

Metaphysics & Logic

Also by Boyer

Search PhilReviews for this title