„mathematical logic" nicht gefunden