Choice sequences
Subtitle: a chapter of intuitionistic mathematics
By: by A. S. Troelstra.
Series: Oxford logic guides
Publisher: Clarendon Press
Published: 1977
Place of publication: Oxford [Eng.]
Language: eng
Number of pages: 170
Subjects: Intuitionistic mathematics; Sequences (Mathematics)
Notes: Bibliography: p. [161]-167.
Includes index.