Lógica y lenguajes formales. 2, Sistemas de primer orden y deducción /

Guardado en:
Detalles Bibliográficos
Autor principal: Lungarzo, Carlos
Formato: Libro
Lenguaje:Español
Publicado: Buenos Aires : Centro Editor de América Latina, 1986.
Colección:Bibliotecas universitarias
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 01105nam a22003255a 4500
001 16704
003 AR-SrUBC
005 20210617143239.0
007 t|||||||||||||
008 970614m||||||||ag #||||r|||||||||||spa||
020 |a 9502513185 
040 |a AR-SrUBC  |b spa  |e rcaa2 
044 |a ag  |c AR 
080 |a 160.1:800.1  |2 3a Abr ES 
100 1 |a Lungarzo, Carlos.   |9 31500 
240 1 0 |a [Sistemas de primer orden y deducción] 
245 1 0 |a Lógica y lenguajes formales.   |p 2, Sistemas de primer orden y deducción /   |c Carlos Lungarzo. 
260 |a Buenos Aires :   |b Centro Editor de América Latina,   |c 1986. 
300 |a 269 p. ;   |c 21 cm. 
336 |a texto  |2 rdacontent 
337 |a sin mediación  |2 rdamedia 
338 |a volumen  |2 rdacarrier 
490 0 |a Bibliotecas universitarias 
500 |a Bibliografía general: p. 261-268.  
500 |a Errata: p. 269.  
650 7 |a POSITIVISMO LOGICO  |2 lemb2  |9 7945 
650 7 |a LENGUAJES FORMALES  |2 lemb2  |9 29695 
650 7 |a FILOSOFIA DEL LENGUAJE  |2 lemb2  |9 226 
942 |2 cdu  |b 1997-06-14  |c BK  |d 017184  |h 160.1  |i LUNl  |z CT  |6 1601_LUNL 
999 |c 16704  |d 16704