000 00301nam a2200121 4500
020 _a0856264318
082 _a003 PIN/INT
100 _aPinkava, vaclav
245 _aIntroduction to logic for systems modelling
_cby Vavlav Pinkava
260 _aUSA
_bCambridge
_c1988
300 _a132p.
942 _cBK
999 _c380742
_d380742