Mathematical logic /
Inv. fomec: L0662
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | e |
| Published: |
New York : Springer,
1994
|
| Subjects: | MATEMATICAS, LÓGICA MATEMÁTICA, TEORÍAS DE LAS RELACIONES DE EQUIVALENCIA, LENGUAJES DE PRIMER ORDEN, VARIABLES LIBRES, RELACIÓN DE CONSECUENCIA, CÁLCULO SECUENCIAL, DERIVABLE, TEOREMA DE COMPLETITUD, TEOREMA DE HENKIN, LÓGICA DE PRIMER ORDEN, TEORÍA DE CONJUNTOS, PROGRAMACIÓN LÓGICA, |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|