TY  - GEN
T1  - Lógica y lenguajes formales/2 sistemas de primer orden y deducción
T2  - Bibliotecas Universitarias
A1  - Lungarzo Carlos
LA  - Español
PP  - Buenos Aires
PB  - Centro Editor de América Latina
YR  - 1986
UL  - https://umaza.bibliosistemas.com/catalogo/Record/UMA-3330
OP  - 269
NO  - el ejemplar que posee la biblioteca es fotocopiado
CN  - 161
SN  - 9502513185
KW  - Lógica matemática
KW  - Lógica
ER  -