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