"Methods in mathematical logic. Proc. of 6th Latin American Symposium on Mathematical Logic, Caracas, Venezuela, 1983 (LNM1130, Springer 1985)" - читать интересную книгу автора (Carlos A. Di Prisco)