Intoduction to logik - Suppes, Patrick (The university series in undergraduate mathematics, 1963)