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