Eberle, Rolf A. <br/><br/>
Logic and proof technology 

 - Calcutta  New Central Book Agency  1996 
 - 339p.  23cm 
<br/><br/><label>ISBN: </label>8173812322 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic
<br/><br/><label>Dewey Class. No.: </label>160  / EBE