Introducción a la lógica formal / Alfredo Deaño
Tipo de material: TextoSeries Detalles de publicación: Madrid : Alianza Editorial, 1974Edición: 1a edDescripción: 424 p. : il. ; 24 cmTema(s): Clasificación LoC:- BC 117 .S6 D43
Contenidos:
Primeros conceptos -- El lenguaje y sus usos -- Lenguaje y metalenguaje -- Sintaxis, semántica y pragmática -- La noción de cálculo -- La lógica de enunciados -- Nociones básicas -- La lógica de enunciados como sistema axiomático -- La lógica de enunciados como sistema de reglas de inferencia -- La lógica de predicados de primer orden -- Nociones básicas -- Introducción -- Introducción -- La lógica de predicados monádicos -- La lógica de los predicados poliádicos
Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|---|---|---|---|
Libros para consulta en sala | Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | COLECCIÓN RESERVA | BC 117 .S6 D43 (Navegar estantería(Abre debajo)) | 1 | No para préstamo | Desarrollo Humano | 034187 | |||
Libros | Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | BC 117 .S6 D43 (Navegar estantería(Abre debajo)) | 2 | Disponible | Desarrollo Humano | 034188 | |||
Libros | Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | Colección General | BC 117 .S6 D43 (Navegar estantería(Abre debajo)) | 3 | Disponible | Desarrollo Humano | 034189 |
Total de reservas: 0
Navegando Biblioteca Antonio Enriquez Savignac estanterías, Colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
Primeros conceptos -- El lenguaje y sus usos -- Lenguaje y metalenguaje -- Sintaxis, semántica y pragmática -- La noción de cálculo -- La lógica de enunciados -- Nociones básicas -- La lógica de enunciados como sistema axiomático -- La lógica de enunciados como sistema de reglas de inferencia -- La lógica de predicados de primer orden -- Nociones básicas -- Introducción -- Introducción -- La lógica de predicados monádicos -- La lógica de los predicados poliádicos
Fondos PIFI Compra 140409 1100.00