"Logic Colloquium '88: Proceedings " - читать интересную книгу автора (R. Ferro, C. Bonotto, S. Valentini, A. Zanardo)