Elementarily definable analysis
Tom 41 / 1955
Fundamenta Mathematicae 41 (1955), 311-338
DOI: 10.4064/fm-41-2-311-338