Pinkava, vaclav <br/><br/>
Introduction to logic for systems modelling 
by Vavlav Pinkava 
 - USA  Cambridge  1988 
 - 132p. 
<br/><br/><label>ISBN: </label>0856264318 
<br/><br/><label>Dewey Class. No.: </label>003 PIN/INT