"Gradel, Erich"

Finite Model Theory and Its Applicaions - \\200700ENGGPCX - Springer 2007 New Delhi - 437p.

includes index and biblioraphy

9.79E+12