Mathematical problems from applied logic : logics for the XXIst century / edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev - volúmenes - International mathematical series . ISBN: 0387286888 Subjects--Topical Terms: Lógica simbólica y matemática LC Class. No.: QA9.A1 / M37 Dewey Class. No.: 511.3