Research Catalog
Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.
- Title
- Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.
- Author
- Troelstra, A. S. (Anne Sjerp)
- Publication
- Oxford [Eng.] : Clarendon Press, 1977.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | QA9.47 .T77 | Off-site |
Details
- Description
- ix, 170 p.; 25 cm.
- Series Statement
- Oxford logic guides
- Uniform Title
- Oxford logic guides.
- Subjects
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. [161]-167.
- ISBN
- 019853163X :
- LCCN
- 77366152
- Owning Institutions
- Columbia University Libraries