Hermes, Hans <br/><br/>
Term logic with choice operator   

 - Berlin  Springer-Verlag  1970 
 - 55p. 
 - Lecture notes in Mathematics   6 .
<br/><br/> "Revised and enlarged translation of the German edition".   
<br/><br/><label>Dewey Class. No.: </label>511.3  / H553.TL