TY  - BOOK
AU  - Hermes Hans
TI  - Term Logic with Choic Operator
T2  - Lecture notes in mathematics; 6
U1  - B:(R1), L0 
PY  - 1970///
CY  - Berlin
PB  - Springer-Verlag         
N1  - Bibliography 53-54p
ER  -