Introduction to mathematical logic - Mendelson Elliott (New York D Vanostrand, 1979)
Keywords: Logic