Hermes, Hans <br/><br/>
Eine Termlogik mit Auswhloperator. 

 - Berlin, New York :  Springer-Verlag,  1965. 
 - 42 p. ;  30 cm. 
 - Lecture notes in mathematics;  6 .
<br/><br/>Includes bibliographical references (p. 40). 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.
<br/><br/><label>Dewey Class. No.: </label>PF 164 H47