Курс математической логики и теории вычислимости. А. С. Герасимов. (2011) Настоящее учебное пособие предназначено для изучения математической ло- гики и теории алгоритмов. В нём описаны языки логики высказываний и логики предикатов первого порядка, семантика этих языков. На основе общего поня- тия исчисления изложены исчисления гильбертовского типа, секвенциальные ис- числения и метод резолюций как способы формального математического доказа- тельства.