Mathematical Problems from Applied Logic I - Gabbay, Dov M.; Goncharov, Sergei S.; Zakharyaschev, Michael; Gabbay, Dov M.; Goncharov, S. S.; Goncharov, Sergei; Zakharyaschev, Michael; Goncharov, Sergei S. (Springer New York, 2006)