Hermes Hans <br/><br/>
Term Logic with Choic Operator 
Hermes Hans 
 - Berlin  Springer-Verlag           1970 
 - 55p.  cm. 
 - Lecture notes in mathematics; 6 .
<br/><br/> Bibliography 53-54p 
<br/><br/><label>Standard No.: </label>19554 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>B:(R1), L0