Text this: Mathematical logic and the foundations of mathematics :