Элементарное введение в математическую логику

📖 Логика высказываний. Исчисление предикатов. Логика предикатов. Большой запас упражнений для самостоятельной работы. Может быть использовано для внеклассной работы в старших классах общеобразовательных школ. Издательство: Просвещение