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