LOGICA Y LENGUAJES FORMALES / 2: SISTEMAS DE PRIMER ORDEN Y DEDUCCION.

Author: Lungarzo, Carlos

Publisher: Buenos Aires: Centro Editor de América Latina. , 1986.

ISBN: 950-25-1318-5

Collection: Lógica y epistemología

Thematic:

Comment: Se aplican en este volúmen los contenidos del primero de carácter estructural a problemas teóricos básicamente el de la deducción. Incluye entre otros temas: deducción natural, nociones sobre deducción axiomática y secuencial, metateoremas y aspectos semánticos.

/ FILOSOFIA DE LA CIENCIA / / HISTORIA DE LA CIENCIA / / LENGUAJE / / LOGICA / / FILOSOFIA / / CIENCIA /