%0 Journal Article
%A Becker, Joseph
%A Lipshitz, Leonard
%T An Application of Logic to Analysis
%J Canadian journal of mathematics
%D 1976
%P 83-91
%V 28
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1976-009-x/
%R 10.4153/CJM-1976-009-x
%F 10_4153_CJM_1976_009_x