Machine generated authority record

Work cat.: (OSt)275885: Kneebone, G. T., Mathematical Logic and the Goundations of Mathematics : an Introductory Survey