"Gradel, Erich" Finite Model Theory and Its Applicaions - \\200700ENGGPCX - Springer 2007 New Delhi - 437p. includes index and biblioraphy ISBN: 9.79E+12