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