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 .

0387286888


Lógica simbólica y matemática

QA9.A1 / M37

511.3