Text this: Mathematical logic and foundations of set theory :