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 |