A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
2 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Intuitionistic Type Theory | Per Martin-Löf | Jesús Alcolea Banegas | Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia | 1988-10-01 |
| Peter Aczel. The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposiums on mathematical logic in Oulu 1974 and in Helsinki | Per Martin-Löf | Wim Veldman | The Journal of Symbolic Logic | 1984 |