Принципы логики и логического программирования

Принципы логики и логическое программирование