Mathematical logic - Mathias, Adrián Richard David, 1944-; Rogers, Hartley, 1926- (Lecture notes in mathematics ;, 1973)