First course in mathematical logic - Suppes, Patrick 1922-2014; Hill, Shirley (Blaisdell, 1964)