Mathematical logic a course with exercises - Cori, Rene