"Cambridge Summer School in Mathematical Logic, Cambridge, 1971" - читать интересную книгу автора (A. R. D. Mathias, H. Rogers)