инф и прог решение логических задач с помощью рассуждений | PDF