000 00310pam a2200121a 44500
008 160408b1981 xxu||||| |||| 00| 0 eng d
082 _a160
_bR949M
100 _aRuzsa, Imre
245 1 _aMODEL LOGIC WITH DESCRIPTION
260 _a
_bMartinus Nijhoff Publishers
_c1981
964 _gCIRC
997 _aA86866 C
999 _c280485
_d280485