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

Autor: Lungarzo, Carlos

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

ISBN: 950-25-1318-5

Colección: Lógica y epistemología

Temática:

Comentario: 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 /