Introduction to mathematical logic - Church, Alonzo n. 1903 (Princeton University Press, 1956)
La Biblioteca contiene: v. 1.