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. |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
1994 | Sverige, Uppsala | 40 sidor. |