Mathematical Problems from Applied Logic IDov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev₹4,132