Introduction to mathematical logic - Church Alonzo (N J Princeton University Press, 1956)
Keywords: Mathematical logic; Symbolic logic