TY  - BOOK
AU  - Pinkava,Vaclav  .
TI  - Introduction to logic for systems modelling / 
SN  - 0856264318
U1  - 003 
PY  - 1988///
CY  - Cambridge : 
PB  - Clarendon Press , 
KW  - LOGIC,SYMBOLIC AND MATHEMATICAL
N1  - NULL
ER  -