Logical foundations of proof complexity Stephen Cook Phuong Nguyen

by Stephen Cook · 1 review · 2011

Reviewed by Journal Date Access
Albert Atserias The Bulletin of Symbolic Logic 2011-09-00 Restricted

Metaphysics & Logic

Also by Cook

Search PhilReviews for this title