Reviews matching “Choice sequences. A chapter of intuitionistic mathematics”

2 results

BookAuthorReviewerJournalDate
Choice sequences. A chapter of intuitionistic mathematics A. S. Troelstra Richard Vesley The Journal of Symbolic Logic 1979
Choice sequences. A chapter of intuitionistic mathematics A S Troelstra MARY TILES Archives de Philosophie 1978-04-01

Open this search with filters