INTRODUCTION TO MATHEMATICAL LOGIC - Church, Alonzo (N. J. Princeton University Press, 1944)