INTRODUCTION TO MATHEMATICAL LOGIC - Church, Alonzo (Princeton University Press, 1956)