Choice sequences: a chapter of intuitionistics mathematics /

Bibliographic Details
Main Author:	Troelstra, A. S. (Anne Sjerp)
Format:
Published:	Oxford : Clarendon Press, 1977
Subjects:	Sequences (Mathematics) Intuitionistic mathematics

Similar Items