First course in mathematical logic - Suppes, Patrick (1964)