Mathematical logic. - Ponasse, Daniel (Notes on mathematics and its applications, 1973)