1 results
Michael Rathjen. The superjump in Martin-Löf type theory. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 363–386.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, p. 538
- Print publication:
- December 2002
-
- Article
- Export citation