TY  - BOOK
AU  - Pinkava, vaclav
TI  - Introduction to logic for systems modelling
SN  - 0856264318
U1  - 003 PIN/INT 
PY  - 1988///
CY  - USA
PB  - Cambridge
ER  -