TY  - JOUR
AU  - Becker, Joseph
AU  - Lipshitz, Leonard
TI  - An Application of Logic to Analysis
JO  - Canadian journal of mathematics
PY  - 1976
SP  - 83
EP  - 91
VL  - 28
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1976-009-x/
DO  - 10.4153/CJM-1976-009-x
ID  - 10_4153_CJM_1976_009_x
ER  -