H. Dugald Macpherson, Lou van den Dries, Anand Pillay, Carlo Toffalori, Jochen Koenigsmann, Alex J. Wilkie Model Theory in Algebra, Analysis and Arithmetic View_Book