A comprehensive index of philosophy book reviews

Reviews matching “A transfinite type theory with type variables”

1 result

BookAuthorReviewerJournalDate
A transfinite type theory with type variables P. B. Andrews R. O. Gandy The Journal of Symbolic Logic 1968-04-26

Open this search with filters