Inaccessibility in constructive set theory and type theory

Författare
Edward R. Griffor
(Edward R. Griffor and Michael Rathjen)
Språk
Engelska
Förlag År Ort Om boken ISBN
1996 Sverige, Uppsala 18 sidor.