Mathematical logic and the foundations of mathematics - Kneebone, G. T. (London)
435 s.