000			00827nam a2200181Ia 4500
001			14332
008			110929s2002 000 0 spa
020			_a9681844998
082			_a160 N385
100			_aNegrete, Juan M.
245			_aLógica elemental _cJuan M. Negrete
260			_aBogotá _bNoriega Editores _c2002
300			_a138 p.
500			_aL023535 CERES
505			_aLos símbolos lógicos.-- Símbolos variables.-- Símbolos constantes.-- La axiomática.-- Los principios lógicos tradicionales.-- Algunos principios de la teoría de conjuntos.-- Las reglas de formación.-- La codificación.-- El cálculo proposicional.-- La lógica cuantificacional.-- Las reglas de transformación.-- Del cálculo proposicional.-- De la lógica cuantificadora.
650			_aLÓGICA _9350047
942			_cBK _2ddc
999			_c241952 _d241952