Basic proof theory

by A. S. Troelstra and H. Schwichtenberg · 1 review · 1998

Reviewed by Journal Date Access
Roy Dyckhoff The Journal of Symbolic Logic 1998 Restricted

Metaphysics & Logic

Search PhilReviews for this title