Eine Termlogik mit Auswhloperator. - Hermes, Hans (Berlin, New York : Springer-Verlag, 1965)
Includes bibliographical references (p. 40).
Keywords: Logic, Symbolic and mathematical