Reviews matching “Proof theory and intuitionistic systems”

1 result

BookAuthorReviewerJournalDate
Proof theory and intuitionistic systems Bruno Scarpellini A. S. Troelstra The Journal of Symbolic Logic 1974

Open this search with filters