"Conference in mathematical logic - London '70" - читать интересную книгу автора (W. Hodges)