Ciesinger, J <br/><br/>
Beweisprogrammnach einem modifizierten gentzenkalkul fur die pradikatenlogik erster stufe 
J. Ciesinger 
 - Munchen  Universite Munchen  1972 
 - 46 p  28 cm 
<br/><br/> Contine bibliografie