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