Sets, models and recursion theory proceedings of the Summer School in Mathematical Logic..., Leicester, Aug-Sept., 1965 - Amsterdam North-Holland 1967 - [7],331p. - Studies in Logic and the foundations of mathematics .

510.22 / S28