![](/img/cover-not-exists.png)
Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || The Superjump in Martin-Löf Type Theory
Buss, Samuel R., Hajek, Petr, Pudlak, PavelVolume:
10.1017/97
Year:
2016
Language:
english
DOI:
10.1017/9781316756140.027
File:
PDF, 317 KB
english, 2016