Mathematical logic - Ponasse, Daniel (Gordon and Breach, 1973)