Lectures on modern mathematics - Davis, Martin (Notes on mathematics and its applications, 1967)