Mathematical problems from applied logic I

logics for the XXIst century

2006

Dov M. Gabbay, Sergei Goncharov, Michael Zakharyaschev (eds)

Berlin, Springer