Ваша корзина пуста!
Математическая логика: Алгебра высказываний. Булевы функции. Логика предикатов. Формализованное исчисление высказываний. 2-е изд., испр