000 00664nam0a22002170004500
001 46587
005 20200804110044.0
010 _a0-416-37510-3
_b(Brochado)
090 _a46587
100 _a19901208d1984 k y0pory5003 ba
101 0 _aeng
102 _aGB
200 1 _aA companion to model logic
_fG. E. Hughes, M. J. Cresswell
210 _aLondon
_cMethuen
_dcop. 1984
215 _aXVII, 203 p.
_cil.
_d22 cm
225 2 _aUniversity paperbacks
_v867
675 _a510.643
_vint
_zpor
700 1 _aHughes,
_bGeorge Edward
701 1 _943675
_aCresswell,
_bM. J.
_4070
942 _cLIVRO
_n0