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.
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | gaztelania |
| Argitaratua: |
Buenos Aires, Argentina :
Centro Editor de América Latina,
1986
|
| Saila: | (Bibliotecas Universitarias. Lógica y Epistemología)
|
| Gaiak: | |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Izan zaitez lehena ohar bat uzten!