Choice Sequences: Chapter of Intuitionistic Mathematics (Oxford Logic Guides) - Hardcover

Troelstra, A. S.

 
9780198531630: Choice Sequences: Chapter of Intuitionistic Mathematics (Oxford Logic Guides)