Kroger, F <br/><br/>
An extension of propositional logic by algorithmic concepts 
F. Kroger 
 - Munchen  Technischen Universitat Munchen 
 - 35 p  ill  20 cm 
 - TUM  Abteilung Mathematik  Bericht Nr. 7419 .
<br/><br/> Contine bibliografie