First course in mathematical logic - Suppes, Patrick (A Blaisdell book in the pure and applied sciences, 1964)