Reviews matching “Foundations of constructive mathematics. Metamathematical studies”

1 result

BookAuthorReviewerJournalDate
Foundations of constructive mathematics. Metamathematical studies Michael J. Beeson William A. Howard The Journal of Symbolic Logic 1987

Open this search with filters