Eine termlogik mit auswahl operator - Hermes Hans (Berlin Springer-Verlag, 1965)
Keywords: Mathematical logic; Operator theory; Symbolic logic