Lógica y Lenguajes Formales: Sistemas de Primer Orden y Deducción /

Este segundo volumen aplica los contenidos del primero a problemas teóricos, básicamente el de la deducción. El texto incluye deducción natural, nociones sobre deducción axiomática y secuencial, metateoremas y aspectos semánticos.

Opis bibliograficzny

1. autor:	Lungarzo, Carlos (autor)
Format:	Książka
Język:	hiszpański
Wydane:	Buenos Aires, Argentina : Centro Editor de América Latina, 1986
Seria:	(Bibliotecas Universitarias. Lógica y Epistemología)
Hasła przedmiotowe:	Filosofía Lógica Deducción Lógica
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!