Mathematical Logic
Idioma: Ingles. Detalles de publicación: New York: Dover Publications, 1967.Descripción: 398 páginas. Ilustraciones. 21 x 13.5 cmISBN:- 0486425339
- 511.3 21 ed. C689m
Contenidos:
1. The Propositional calculus -- 2. The predicate calculus -- 3. The predicate calculus with equality -- 4. The foundations of mathematics -- 5. Computability and decidability -- 6. The predicate calculus (Additional topics)
Tipo de ítem | Biblioteca actual | Colección | Signatura | URL | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|---|
Libros General | BIBLIOTECA EDUARDO COTE LAMUS Sala 9 | Colección General | 511.3 C689m (Navegar estantería(Abre debajo)) | Enlace al recurso | C.1 | Disponible | 0050057 |
Navegando BIBLIOTECA EDUARDO COTE LAMUS estanterías, Ubicación en estantería: Sala 9, Colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | ||||||
511.3 B242m Matemática digital | 511.3 B244e Elementos de lógica | 511.3 B611c Combinatory logic: Pure, applied and typed/ | 511.3 C689m Mathematical Logic | 511.3 D352l Lógica matemática | 511.3 D352l Lógica matemática | 511.3 F191c1 Corrientes del pensamiento matemático del siglo XX: Segunda parte: Estructuralismo/ |
Incluye bibliografía e índice
1. The Propositional calculus -- 2. The predicate calculus -- 3. The predicate calculus with equality -- 4. The foundations of mathematics -- 5. Computability and decidability -- 6. The predicate calculus (Additional topics)