Hermes, H. (1970). Term logic with choice operator (1st English ed.). Springer-Verlag.

Hermes, Hans. Term Logic with Choice Operator. 1st English ed. Berlin ; New York: Springer-Verlag, 1970.

Hermes, Hans. Term Logic with Choice Operator. 1st English ed. Springer-Verlag, 1970.