Ebook: Збірник вправ і задач з математичної логіки

Київ, Видавниче об'єднання "Вища школа", 1978, 160 с.Розділ
1. Алгебра висловлень
Розділ
2. Числення висловлень
Розділ
3. Логіка предикатів
Відповіді
Символи і позначення
Список літературиСборник составлен соответственно программе по математической логике для педагогических институтов, поэтому его содержание ограничизается алгеброй высказьваний, исчислением высказываний, теоретико-множественной логикой предикатов и не включает упражнений на формальное исчисление предикатов.
Сборник предназначен для студентов физико-математических факультетов педагогических институтов. Его могут использовать также учителя математики средних общеобразовательнмх школ.