Математична логіка та основи математики. Є. Расєва. Р. Сікорський. 1972

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