Term logic with choice operator - Hermes, Hans (Berlin : Springer-Verlag, 1970)
Includes index
Bibliography : p. 53
Keywords: Logic, Symbolic and mathematical