Принципы логики и логическое программирование (Метакидес Георг)