Intoduction to logik - Suppes, Patrick (D. van Nostrand comp, 1963)