00619nam a2200181 a 450000100060000000300090000600800410001502000150005604000280007108200180009910000290011724500450014626000270019130000100021850501460022865000280037465000350040223065CO-ViMGA141112s2004    ck      r     000 u spa d  a9701510720  aCO-ViMGAbspacCO-ViMGA04a005.131 J854l1 aJuliàn, Iranzo Pascual10aLògica Simbòlica para informàticos  aMéxico : bAlfaomega  a299p.  aIntroduccion a la logica, Semantica, Calculo axiomatico y propiedades formales, Logica de predicados, Semantica, Calculo de decuccion natural14aLOGICA - CLASIFICACION 14aLOGICA SIMBOLICA Y MATEMATICA