
EFFECTIVE CHOICE AND BOUNDEDNESS PRINCIPLES IN COMPUTABLE ANALYSIS
VASCO BRATTKA and GUIDO GHERARDIVolume:
17
Langue:
english
Journal:
The Bulletin of Symbolic Logic
DOI:
10.2307/41203140
Date:
March, 2011
Fichier:
PDF, 3.33 MB
english, 2011