Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны языки логики...