![](/img/cover-not-exists.png)
Inaccessibility in constructive set theory and type theory
Michael Rathjen, Edward R. Griffor, Erik PalmgrenVolume:
94
Year:
1998
Language:
english
Pages:
20
DOI:
10.1016/s0168-0072(97)00072-9
File:
PDF, 1.27 MB
english, 1998