1 results
A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 26 April 2018, pp. 90-106
- Print publication:
- March 2018
-
- Article
- Export citation