First-order logic - Smullyan, Raymond M. (New York Springer-Verlag, 1968)
Bibliography: p. [156]
Keywords: Logic, Symbolic and mathematical