TY  - BOOK
AU  - Hermes, Hans
TI  - Eine Termlogik mit Auswhloperator
U1  - PF 164 H47 
PY  - 1965///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. 40)
ER  -