
Información de la indexación
Documentos en la biblioteca con la clasificación 160 S13 (1)



Título : Introducción a la lógica y al análisis formal Tipo de documento: texto impreso Autores: Manuel Sacristán Luzón Editorial: Barcelona : Ariel Fecha de publicación: 1964 Número de páginas: 316 páginas Precio: 35.00 Palabras clave: LOGICA Clasificación: 160 S13 Resumen: Nociones de la lógica formal.- La lógica formal en la investigación de fundamentos.- El ideal del lenguaje bien hecho.- Las categorías lógicas.- La estructura de los enunciados atómicos.- Lógica de predicados.- Presentación axiomática del cálculo de predicados de primer orden.- La deducción a partir de premisas.- Técnicas de la deducción natural, algunos teoremas.- Rendimiento del cálculo lógico elemental.- La división y la definición.- El análisis formal de la inducción Link: https://pmb.unjbg.edu.pe/opac_css/index.php?lvl=notice_display&id=5755 Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado Area BC1282 160 S13 Libro Biblioteca Central AL - Filosofia y Psicologia Disponible Area_de_Letras