sur 18
Mathematical Problems from Applied Logic II — Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev