Choice Sequences: A Chapter of Intuitionistic Mathematics - Couverture rigide

Troelstra, A. S.

 
9780198531630: Choice Sequences: A Chapter of Intuitionistic Mathematics