000 00690nam a2200217Ia 4500
008 220409s9999 xx 000 0 und d
080 0 _a164
090 _a164
_bH462s
100 1 _aHegenberg, Leônidas
240 1 _aSimbolização no cálculo de predicados: 650 problemas
245 1 0 _aSimbolização no cálculo de predicados: 650 problemas
_cHegenberg, Leônidas
260 _aSão Paulo
_bEDUSP
_c1976
300 _a79p.
362 0 _an.3
490 0 _aLógica: Exercícios/3
600 1 _aHegenberg, Leônidas
630 _aSimbolização no cálculo de predicados: 650 problemas
650 1 _aLógica Simbólica e Matemática
800 1 _aHegenberg, Leônidas
942 _cBK
999 _c2883
_d2883