TY - BOOK AU - Gabbay Dov M AU - Goncharov Sergei S AU - Zakharyaschev Michael TI - Mathematical problems from applied logic II: logics for the XXIst century SN - 978-0-387-69244-9 U1 - 511.3 PY - 2007/// CY - New York PB - Springer-Verlag KW - Mathematical logic KW - Symbolic logic ER -