1 results
Formalising foundations of mathematics†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 4 / August 2011
- Published online by Cambridge University Press:
- 01 July 2011, pp. 883-911
-
- Article
- Export citation