Опис
Ця книга є збіркою перекладів статей з теорії логічного висновку. Зростаючий останнім часом інтерес до цієї галузі математичної логіки викликаний бурхливим розвитком «машинної логіки», зокрема появою численних робіт, присвячених машинному доказу теорем.
У збірнику представлені як роботи, які вже стали класичними, так і деякі роботи останніх років. З численних нині досліджень з теорії логічного висновку у збірник відібрано роботи, пов’язані з найцікавішими (з погляду укладачів) етапами розвитку цієї теорії.
Читач, який не має ніяких спеціальних відомостей у галузі математичної логіки (але володіє деякою математичною культурою), може використовувати цей збірник як посібник для систематичного вивчення теорії логічного висновку.
