Research Catalog
Choice sequences : a chapter of intuitionistic mathematics
- 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 | Request in advance | JSE 77-1484 | Offsite |
Details
- Description
- ix, 170 p.; 25 cm.
- Series Statement
- Oxford logic guides.
- Subject
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. [161]-167.
- Call Number
- JSE 77-1484
- ISBN
- 019853163X
- LCCN
- 77366152
- OCLC
- 3085044
- NYPG774884083-B
- Author
- Troelstra, A. S. (Anne Sjerp)
- Title
- Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.
- Imprint
- Oxford [Eng.] : Clarendon Press, 1977.
- Series
- Oxford logic guides.
- Bibliography
- Bibliography: p. [161]-167.
- Research Call Number
- JSE 77-1484