000 00619nam a2200193Ia 4500
999 _c49188
_d49188
003 OSt
005 20181023043908.0
008 24418b pe ||||| |||| 00| 0 spa d
040 _cTranscribing agency
082 _a005.131.RAMO.01
100 _aRAMOS LOVON, WILBER
100 _eAutor
245 0 _aLÓGICA COMPUTACIONAL
250 _a1A. ed
260 _aAREQUIPA
260 _bUNIVERSIDAD CATOLICA DE SANTA MARIA
260 _c2013
300 _a108
300 _c29.0
505 _aLOS FUNDAMENTOS . -- UNA PANORÁMICA DE LA PROGRAMACIÓN DECLARATIVA . -- SISTEMAS FORMALES Y LÓGICA DE PROPOSICIONES . -- LÓGICAS . -- LÓGICA DE PREDICADOS
650 _aLÓGICA COMPUTACIONAL
700 _aRAMOS LOVON, WILBER
942 _cTM001
_2ddc