000 00600nam0a22002050004500
001 20931
005 20200804103452.0
010 _a90-277-1928-4
_b(Encadernado)
090 _a20931
100 _a19891027d1987 k y0pory5003 ba
101 0 _aeng
102 _aNL
200 1 _aAlgorithmic logic
_fG. Mirkowska, A. Salwicki
210 _aDordrecht
_cD. Reidel
_dcop. 1987
215 _aXI, 372 p.
_cil.
_d23 cm
675 _a519.68
_vint
_zeng
700 1 _aMirkowska,
_bG.
701 1 _9156393
_aSalwicki,
_bA.
_4070
942 _cLIVRO
_n0