Introduction to logic

  Alonzo Church: Introduction to Mathematical Logic (Princeton University Press, Princeton, 1944)