Book

Elements of Mathematical Logic

by G. Kreisel, J. L. Krivine, A. Heyting, A. Robinson, P. Suppes