Celebratio Mathematica

Lou van den Dries

Interview with Lou van den Dries

Works connected to Giuseppe Longo

Filter the Bibliography List


L. van den Dries: “Re­marks on Tarski’s prob­lem con­cern­ing \( (\mathbb{R},+,\cdot\,,\operatorname{exp}) \),” pp. 97–​121 in Lo­gic col­loqui­um ’82 (Florence, 23–28 Au­gust 1982). Edi­ted by G. Lolli, G. Longo, and A. Mar­cja. Stud­ies in Lo­gic and the Found­a­tions of Math­em­at­ics 112. North-Hol­land (Am­s­ter­dam), 1984. MR 762106 Zbl 0585.​03006 incollection