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.
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | španělština |
| Vydáno: |
Buenos Aires, Argentina :
Centro Editor de América Latina,
1986
|
| Edice: | (Bibliotecas Universitarias. Lógica y Epistemología)
|
| Témata: | |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!