Hermes, Hans. <br/><br/>
Term logic with choice operator   
by Hans Hermes 
 - Berlin  Springer-Verlag  1970 
 - 55p. 
 - Lecture Notes in Mathematics 6 .
<br/><br/><label>LCCN: </label>79-125498 
<br/><br/><label>Dewey Class. No.: </label>515.72  / N701