Choice Sequences: A Chapter of Intuitionistic Mathematics - Rilegato

Troelstra, A. S.

 
9780198531630: Choice Sequences: A Chapter of Intuitionistic Mathematics