Choice sequences : a chapter of intuitionistic mathematics /

Saved in:
Bibliographic Details
Main Author: Troelstra, A. S.
Format: Book
Language:English
Published: Oxford [Eng.] : Clarendon Press, 1977.
Series:Oxford logic guides.
Subjects:

Main Collection - Walker Library - 3rd Floor

Holdings details from Main Collection - Walker Library - 3rd Floor
Call Number: 511.2 T74c
Copy 1 Available  Pull and Hold