-
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
-
Link To Document :
