000 01168nam a2200277 a 4500
003 MX-TeUDD
005 20231122120202.0
008 991125s1979 mx a gr 000 0 spa cc
020 _a9682601347
040 _aMX-TeUDD
_bspa
_cMX-TeUDD
050 0 4 _aBC135
_b.C6 1979
100 1 _aCopi, Irving M.
_979736
245 1 0 _aLógica simbólica /
_cIrving M. Copi ; traducción, Andrés Sestier Bouclier.
250 _a1a ed.
260 _aMéxico :
_bContinental,
_c1979
300 _a407 p. :
_bil. ;
_c23 cm.
500 _aTítulo original: Symbolic logic.
505 2 _a1. La introducción: La lógica y el lenguaje.-- 2. Argumentos que contienen enunciados compuestos.-- 3. El método de deducción.-- 4. Funciones proposicionales y cuantificadores.-- 5. La lógica de las relaciones.-- 6. Sistemas deductivos.-- 7. Un cálculo proposicional.-- 8. Sistemas y notaciones alternativos.-- 9. Un cálculo funcional de primer orden.
526 8 _aCbi
650 4 _aLógica matemática
_923447
650 4 _aÁlgebra abstracta
_92358
700 1 _aSestier Bouclier, Andrés,
_etr.
_924744
905 _aAcervo
906 _aGLOBAL
_b20020624
942 _cBK01
_2lcc
999 _c253491
_d253491
907 _c295
_dRocío García Mejía