"Patras logic symposion: Proceedings Patras, 1980" - читать интересную книгу автора (George Metakides)