sur 18
Mathematical Problems from Applied Logic I — Dov M. Gabbay, Michael Zakharyaschev