«Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» kitobiga sharhlar, 1 sharh

Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.