The computational complexity of logical theories

by Jeanne Ferrante · 1 review · 1984

Reviewed by Journal Date Access
Dirk Siefkes The Journal of Symbolic Logic 1984 Restricted

Metaphysics & Logic

Also by Ferrante

Search PhilReviews for this title