Introduction to mathematical logic - Church, Alonzo (Princeton University Press, New Jersey, 1956)
Keywords: DOCTRINA