" Mathematical problems from applied logic I : " edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.