Text this: Mathematical logic, the theory of algorithms and the theory of sets /