Proof theory and intuitionistic systems

by Bruno Scarpellini · 1 review · 1974

Reviewed by Journal Date Access
A. S. Troelstra The Journal of Symbolic Logic 1974 Restricted

Metaphysics & Logic

Search PhilReviews for this title