Title: Choice sequences
First published: 1977
Subjects: Intuitionistic mathematics, Sequences (Mathematics)
LC classification: QA9.47 .T77