Lecture notes on mathematical logic - Davis, Martin 1928- (New York University Courant Institute of Mathematical Sciences, 1939)