Pinkava, Vaclav  . <br/><br/>
Introduction to logic for systems modelling /  
Vaclav Pinkava. 
 - Cambridge :   Clarendon Press ,   1988. 
 - viii,132p. :   ill. ;   23cm .  
<br/><br/>NULL 
<br/><br/><label>ISBN: </label>0856264318  UKP 16.85 
<br/><br/><label>Subjects--Index Terms: </label>LOGIC,SYMBOLIC AND MATHEMATICAL 
<br/><br/><label>Dewey Class. No.: </label>003  / PIN/I