Reviews matching “Basic proof theory”

2 results

BookAuthorReviewerJournalDate
Basic Proof Theory A. S. Troelstra H. Schwichtenberg A. S. Troelstra Roy Dyckhoff The Bulletin of Symbolic Logic 2001-06-00
Basic proof theory A. S. Troelstra and H. Schwichtenberg Roy Dyckhoff The Journal of Symbolic Logic 1998

Open this search with filters