Introduction To Mathematical Logic Volume I - Alonzo Church (Priceton Univ.Press, 1956)