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.
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | Ισπανικά |
| Έκδοση: |
Buenos Aires, Argentina :
Centro Editor de América Latina,
1986
|
| Σειρά: | (Bibliotecas Universitarias. Lógica y Epistemología)
|
| Θέματα: | |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
καταχωρήστε σχόλιο πρώτοι!