00505nam a2200157Ia 4500008004100000020001500041040001800056041000800074100002000082245005900102260007000161300001800231504003800249650002000287650004000307130821s1990    ck     gr           spa    a9589216005  aCo-BoUCMbspa  aspa  aCaicedo, Xavier  aElementos de lógica y calculabilidadcXavier Caicedo  aBogotá (Cundinamarca, Colombia)bUniversidad de los Andesc1990  a324 páginas  aIncluye bibliografía e índice04aJuicio lógico04aLógica simbólica y matemática