Hermes, Hans <br/><br/>
Eine Termlogik mit Auswahloperator/ 
Hans Hermes. 
 - Berlin;  New York:  Springer-Verlag,  1965. 
 - Lecture notes in mathematics;  6. .
 - Lecture notes in mathematics (Springer-Verlag);  6. .
<br/><br/>Bibliography: p. 40. 
<br/><br/><label>LCCN: </label>65017845 //r65 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.