@article{10_4153_CJM_1976_009_x,
     author = {Becker, Joseph and Lipshitz, Leonard},
     title = {An {Application} of {Logic} to {Analysis}},
     journal = {Canadian journal of mathematics},
     pages = {83--91},
     year = {1976},
     volume = {28},
     number = {1},
     doi = {10.4153/CJM-1976-009-x},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1976-009-x/}
}