Mathematical logic and the foundations of mathematics

G.T. Kneebone
Dover
9780486417127
0-486-41712-3