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