Deducción y representación : una introducción a la lógica de primer orden
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Spanish |
| Published: |
Buenos Aires :
Economizarte,
2001.
|
| Edition: | 1a. ed. |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01151nam#a22003375a#4500 | ||
|---|---|---|---|
| 001 | 017927 | ||
| 003 | AR-BeUNQ | ||
| 005 | 20220524085300.0 | ||
| 008 | 060505s2001####ag#######b####000#0#spa#d | ||
| 999 | |c 18204 |d 93591 | ||
| 020 | |a 9879372409 | ||
| 040 | |a AR-BeUNQ |e aacr | ||
| 082 | 0 | 4 | |a 160 |2 21 |
| 099 | |a 03-L27 | ||
| 100 | 1 | |a Legris, Javier | |
| 245 | 0 | 2 | |a Deducción y representación : |b una introducción a la lógica de primer orden |c Javier Legris. |
| 250 | |a 1a. ed. | ||
| 260 | |a Buenos Aires : |b Economizarte, |c 2001. | ||
| 300 | |a 134 p. ; |c 21 cm. | ||
| 504 | |a Bibliografía: p. 133-134. | ||
| 594 | |a CICLO INTRODUCTORIO DEL DEPARTAMENTO DE CIENCIA Y TECNOLOGÍA |a TECNICATURA EN PROGRAMACIÓN INFORMÁTICA |a LICENCIATURA EN INFORMÁTICA |a BIOINFORMÁTICA | ||
| 595 | |a ELEMENTOS DE PROGRAMACIÓN Y LÓGICA |d 2021 | ||
| 650 | 7 | |a Teoría lógica |2 Spines | |
| 650 | 7 | |a Lenguajes |2 Spines | |
| 650 | 7 | |a Deducción |2 Spines | |
| 650 | 7 | |a Razonamiento |2 Spines | |
| 650 | 7 | |a Semántica |2 Spines | |
| 650 | 7 | |a Pragmática lógica |2 Spines | |
| 650 | 7 | |a Símbolos |2 Spines | |
| 929 | |a DONACION |b Jaiver Legris |d 0 |e 20051207 |g 250 |j 38483 | ||
| 942 | |c LIB |n 0 | ||