ELEMENTS OF MATHEMATICAL LOGIC - Kreisel, G.; Krivine, J.L. (North-Holland Publishing Company, 1967)