Topics in modern logic - Makinson, David (Methuen, 1973)
Keywords: Logique; Logic; Logik