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.
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | espanhol |
| Publicado em: |
Buenos Aires, Argentina :
Centro Editor de América Latina,
1986
|
| Colecção: | (Bibliotecas Universitarias. Lógica y Epistemología)
|
| Assuntos: | |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
Seja o primeiro a partilhar um comentário!