Теоремы Янова, Мучника и Поста

[chencho]

Посоветуйте какую-нибудь книжку по к значной и бинарной логике...
Пробовал разобрать по Яблонскому, там эти теоремы доказаны очень кратко и понять что-то сложно...
Заранее спасибо...

[cyb12]

Редко что тут рекомендуется, кроме Яблонского. Посмотрите книгу "Дискретная математика и математические вопросы кибернетики, т.1" под общей редакцией С.В.Яблонского и О.Б.Лупанова. Наука. 1974. (второго тома этой книги не существует). Но не уверен, что краткости там меньше.

(Оффтоп)

Существуют конспекты некоторых лекций ВМК МГУ. Ссылку могу дать.

[chencho]

Было бы здорово в личку если можете скиньте...