1 - Algebraical and topological. Foundations of geometry : proceedings of a collouium held in Utrecht, August 1959 |
2 - Collected works. 2 : Geometry, analysis, topology and mechanics |
3 - Einführung in die Sprache der Logik |
4 - Lincos : design of a language for cosmic intercourse. Part I |
5 - Linear lie groups |
6 - Logique mathématique appliquée |
7 - Mathématiques et réalités |
8 - The concept and the role of the model in mathematics and natural and social sciences |