Mathematical logic : a course with exercises /
Cori, René
Mathematical logic : a course with exercises / René. Cori, Dniel Lascar ; Donalld H. Pelletier - New York : Oxford University Press, 2000
Reimpresión: 2008.
Propositional calculus, boolean algebras, predicate calculus. parte 1
9780198500483
Logic, Symbolic and mathematical
QA9.A1 / C6713 2000
Mathematical logic : a course with exercises / René. Cori, Dniel Lascar ; Donalld H. Pelletier - New York : Oxford University Press, 2000
Reimpresión: 2008.
Propositional calculus, boolean algebras, predicate calculus. parte 1
9780198500483
Logic, Symbolic and mathematical
QA9.A1 / C6713 2000