G.T. Kneebone

Mathematical Logic and the Foundations of Mathematics: An Introductory Survey

2001