"Logic colloquium. Symposium on logic, Boston, 1972-73" - читать интересную книгу автора (R. Parikh)