Издательство Математическая логика

Ошибки в монографии

Алгебра логики и алгебра Поста

(теория двузначных функций)

В монографии две существенных ошибки - теорема Янова-Мучника и ДНФ-КНФ (ссылка)

Остальные ошибки несущественные

* Стр. 92: в подразделе 22.3. "Системный подход к именованию классов" внесены изменения в наименования классов. В результате цепочки классов имеют следующие имена.

P-цепочка: P₂,P_S²,P_SL³,P_FSL⁴,P_-xSL⁵.

C₁-цепочка: C₁¹,C₁²,...,C₁^omega,C₁^omega+1,C₁^omega+2,C₁.

Ответвление C₁-цепочки: C_1L

C₀-цепочка: C₀¹,C₀²,...,C₀^omega,C₀^omega+1,C₀^omega+2,C₀

Ответвление C₀-цепочки: C_0L

N-цепочка: N¹,N_S²,N_SL³.

N₁-цепочка: N₁²,N₁³,...,N₁^omega.

N₀-цепочка: N₀²,N₀³,...,N₀^omega.

F-цепочка: F¹,F_S²,F_SL³.

F₁-цепочка: F₁^2,F₁³,...,F₁^omega,F₁^omega+1.

F₀-цепочка: F₀²,F₀³,...,F₀^omega,F₀^omega+1.

M-цепочка: M¹,M_S²,M_x.

M₁-цепочка: M₁²,M₁³,...,M₁^omega,M₁^omega+1.

M₀-цепочка: M₀²,M₀³,...,M₀^omega,M₀^omega+1.

Соответственно изменились имена в таблице 6, стр. 82 и на рисунке 3, стр.94