Celebratio Mathematica

J. Robin­son: “Solv­ing di­o­phant­ine equa­tions,” pp. 63–​67 in Lo­gic, meth­od­o­logy and philo­sophy of sci­ence, IV (Bucharest, 29 Au­gust–4 Septem­ber 1971). Edi­ted by P. Suppes and J. F. Staal. Stud­ies in Lo­gic and the Found­a­tions of Math­em­at­ics 74. North-Hol­land (Am­s­ter­dam), 1973. MR 480014 incollection