TY - BOOK AU - Gabbay,Dov M. AU - Goncharov,S.S. AU - Zakharyaschev,Michael TI - Mathematical problems from applied logic: logics for the XXIst century T2 - International mathematical series SN - 0387286888 AV - QA9.A1 M37 U1 - 511.3 22 PY - 2006///- CY - New York PB - Springer Verlag KW - Lógica simbólica y matemática ER -