000 008210a00a22003130004500
001 197529
010 _a9723702762
_bbrochado
021 _aPT
_b44501/91
090 _a197529
100 _a19920218d1991 m y0pory50 ba
101 0 _apor
102 _aPT
105 _aa z 001yy
106 _ar
200 1 _aTeoria clássica da dedução
_fM. S. Lourenço
210 _aLisboa
_cAssírio & Alvim
_d1991
215 _a315, [3] p.
_cil.
_d22 cm
225 2 _aPeninsulares
_v27 Especial)
320 _aContém bibliografia
606 _aLógica Simbólica e Matemática
675 _99973
_a164
700 1 _aLourenço
_bM. S.
_f1936-
931 _*19920218
932 _*d
933 _*1991
934 _*
955 _n1
_dSAMAD
_c20140122
966 _lBPARAH
_p(DL)
_sFG/B-35954
990 _cMON