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.
I tiakina i:
| Kaituhi matua: | |
|---|---|
| Hōputu: | Pukapuka |
| Reo: | Pāniora |
| I whakaputaina: |
Buenos Aires, Argentina :
Centro Editor de América Latina,
1986
|
| Rangatū: | (Bibliotecas Universitarias. Lógica y Epistemología)
|
| Ngā marau: | |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Ngā tūemi rite: Lógica y Lenguajes Formales: Sistemas de Primer Orden y Deducción /
- Lógica y Lenguajes Formales: Lenguaje, Conjuntos y Estructuras /
- Meta-metodología : la justificación epistémica de la deducción /
- The Limitations of Dedutivism /
- Modern deductive logic : an introdiction to its techniques and significance.
- La seducción de la lógica : deducciones para la vida cotidiana /
- Nuevo sistema de lógica inductiva y deductiva : tomo I-II /