Mathematical logic : a course with exercises / René. Cori, Dniel Lascar ; Donalld H. Pelletier
Tipo de material: TextoIdioma: Inglés Lenguaje original: Francés Detalles de publicación: New York : Oxford University Press, 2000ISBN: 9780198500483Tema(s): Logic, Symbolic and mathematicalClasificación LoC:QA9.A1 | C6713 2000
Contenidos:
parte 1 Propositional calculus, boolean algebras, predicate calculus.
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro | Biblioteca Central Tijuana | Acervo General | QA9.A1 C6713 2008 (Browse shelf(Abre debajo)) | 1 | Disponible | TIJ142347 |
Reimpresión: 2008.
parte 1 Propositional calculus, boolean algebras, predicate calculus.
CveAsig: 41513;
ProgEdu: 10004;
AresCon: ADMINISTRATIVAS;