![](/img/cover-not-exists.png)
The strength of Martin-Löf type theory with a superuniverse. Part II
Michael RathjenVolume:
40
Language:
english
Pages:
27
Journal:
Archive for Mathematical Logic
DOI:
10.1007/s001530000051
Date:
April, 2001
File:
PDF, 193 KB
english, 2001