Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

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