Choice sequences : a chapter of intuitionistic mathematics /

Bibliographic Details
Main Author: Troelstra, Anne Sjerp, 1939-
Format: Book
Language:English
Published: Oxford : Clarendon Press, 1977.
Series:Oxford logic guides
Subjects: