RecordNumber
24758
Author
Troelstra, Anne Sjerp , Troelstra, Anne Sjerp
Title
Choice sequences, a chapter of intuitionistic mathematics
Author Statement
By A.S. Troelstra
Publication
Clarendon Press , Clarendon Press
Publication Year
1977
Collation
ix, 170P., illus
Series
Oxford logic guides
Notes
019853163X , Bibliography: P. [161]-167
Subject
Sequences (Mathematics) , Intuitionistic mathematics
LC Class
QA
LC Number
9.47
LC CutterNumber
.T77