000			01592nam a2200253 a 4500
003			AR-LpU
005			20240704182103.0
007			ta
008			230201s1986 ag dr 000 0 spa d
020			_a9502513150
024	8		_aDGR-M11369 _b12704 _zDGR011296
040			_aAR-LpU _bspa _cAR-LpU
080			_a16
100	1		_aLungarzo, Carlos _9110029
245	1	0	_aLógica y lenguajes formales/1 : _bLenguaje, conjuntos y estructuras
250			_a1a
260			_aBuenos Aires : _b Centro Editor de América Latina , _c1986
490	0		_aBibliotecas Universitarias
500			_aInv bib 25325
505	0		_a La naturaleza de la lógica -- La lógica como "ciencia" del razonamiento -- La evolución de la lógica formal -- El punto de vista lingüístico -- La necesidad de los lenguajes formales -- Divisiones de la lógica -- El carácter científico de la lógica -- Lenguaje y lógica -- Categorías de un lenguaje formal: símbolos. Nombres, predicados y operadores. Reducciones y notación. Símbolos lógicos. Eliminación -- Términos y fórmulas -- Estrctura y dimensiones de un lenguaje formal: Organización de un lenguaje formal. Dimensiones lingüísticas. Lenguaje y metalenguaje. Acepciones de "lenguaje" -- El orden de una entifaf lingüística -- El lenguaje lógico puro -- Teoría de clases y relaciones: Generalidades sobre clases. Leyes de la teoría de conjuntos. Familias de clases. Relaciones. Órdenes y equivalencias. Funciones. Números naturales. -- Las paradojas -- Tipos lógicos
650		4	_aLÓGICA _9695
650		4	_aLENGUAJE _91904
942			_cBK
999			_c1022785 _d1022785