Deducción y representación : una introducción a la lógica de primer orden

Guardado en:
Detalles Bibliográficos
Autor principal: Legris, Javier
Formato: Libro
Lenguaje:Español
Publicado: Buenos Aires : Economizarte, 2001.
Edición:1a. ed.
Materias:
Teoría lógica
Lenguajes
Deducción
Razonamiento
Semántica
Pragmática lógica
Símbolos
Aporte de:Registro referencial: Solicitar el recurso aquí
Biblioteca Laura Manzo (UNQ) de Universidad Nacional de Quilmes
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 

Ejemplares similares