Reviews matching “Proceedings of the Second Scandinavian Logic Symposium”

4 results

BookAuthorReviewerJournalDate
A. S. Troelstra. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium J. E. Fenstad C. Smorynski The Journal of Symbolic Logic 1975
Proceedings of the Second Scandinavian Logic Symposium J. E. Fenstad Solomon Feferman The Journal of Symbolic Logic 1975
Proceedings of the Second Scandinavian Logic Symposium J. E. Fenstad A. S. Kechris The Journal of Symbolic Logic 1974
Proceedings of the Second Scandinavian Logic Symposium J. E. Fenstad Ann S. Ferebee The Journal of Symbolic Logic 1972

Open this search with filters