000 00881nam a22002057a 4500
999 _c4862
_d4862
005 20200926163216.0
008 131105b ck ||||| |||| 00| 0 spa d
040 _aCO-NeUS
_bspa
_erda
100 1 _aCopi, Irving M.
_937775
245 1 0 _aLógica simbólica /
_c Irving M. Copi; traductor Andrés Sestier B.
250 _a4 edición.
264 _aMéxico :
_bCECSA,
_c1979
300 _a407 Página.
505 0 0 _aIntroducción : la lógica y el lenguaje -- Argumentos que contienen enunciados compuestos -- El método de deducción -- Funciones proposicionales y cuantificadores -- La lógica de las relaciones -- Sistemas deductivos -- Un cálculo proposicional -- Sistemas y notaciones alternativos -- El cálculo funcional de primer orden --
700 1 _aSestier B. Andrés
_983723
082 0 4 _a510.1 /
_bC783l
650 1 4 _aLogica simbolica
_9115241
650 1 4 _aLogica matematica
_9115236
650 1 4 _aMatematicas
_9115749
942 _2ddc
_cCG
_h510.1 /
_mC783l