Choice sequences : a chapter of intuitionistic mathematics /

Bibliographic Details

Main Author:	Troelstra, A. S. (Anne Sjerp)
Format:	Book
Language:	English
Published:	Oxford [England] : Clarendon Press, 1977.
Series:	Oxford logic guides.
Subjects:	Intuitionistic mathematics. Sequences (Mathematics)