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