000 00616cam a2200229ua 4500
001 13573
005 20171214163537.0
007 ta
008 030130s1988 a g b000 u ENG u
020 _a0856264318
_cUKP 16.85
040 _aMAIN
041 1 _aENG
_hNULL
082 1 4 _a003
_bPIN/I
100 1 _aPinkava, Vaclav .
245 0 0 _aIntroduction to logic for systems modelling /
_cVaclav Pinkava.
260 _aCambridge :
_bClarendon Press ,
_c1988.
300 _aviii,132p. :
_bill. ;
_c23cm .
365 _aUKP 16.85
504 _aNULL
653 0 _aLOGIC,SYMBOLIC AND MATHEMATICAL
942 _cBK
999 _c13253
_d13253