Choice sequences - a chapter of intuitionistic mathematics
- Författare
- Anne Sjerp Troelstra
- (A.S. Troelstra)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Clarendon | 1977 | Storbritannien, Oxford | 170 sidor. | 0-19-853163-X |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Clarendon | 1977 | Storbritannien, Oxford | 170 sidor. | 0-19-853163-X |