The strength of some Martin-Löf type theories

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