Mathematical problems from applied logic II logics for the XXIst century - Gabbay Dov M; Goncharov Sergei S; Zakharyaschev Michael (New York Springer-Verlag, 2007)
Keywords: Mathematical logic; Symbolic logic