Посоветуйте расширенный курс по логике

[pilot2000]

Здравствуйте!

Надеюсь, не ошибся форумом. Господа, не могли бы вы посоветовать книгу/подборку книг на русском или английском, для первокурсника технического вуза по логике с самого начала до логики второго порядка(higher order logic) с последующим уклоном в автоматическое доказательство теорем. Очень желательно, что бы там были задачи/упражнения и вообще великолепно - с ответами. Что бы после этого курса книг было уже базовое понимание как устроены изнутри современные пруф асистансы, типа Coq, Isabelle, HOL. Есть полтора года, которые хочу плотно посвятить этой теме)

[vego]

Есть такой текст "Teach Yourself Logic 2017: A Study Guide" от Peter Smith - очень хорошо расписано, что читать и в каком порядке.

[george66]

Вот в этих двух архивах почти все книги по матлогике, изданные в СССР
http://www.mediafire.com/download/cn7hs ... o/djvu.rar
http://www.mediafire.com/download/4g54u ... u8/pdf.rar
(если плохо скачивается, могу выложить на mega.nz)
Смотрите на год написания книги, книги столетней давности пока не читайте.
Собиралось это давно, сейчас многое есть в лучшем качестве на либгене
http://gen.lib.rus.ec/
С прицелом на пруфчекеры вот это почитайте
http://lib1.org/_ads/7399076645A545881D6C2DC106A26A6A
Также в моём учебнике теории категорий главу "Исчисление высказываний" (её до какого-то момента можно читать независимо от предыдущей части книги)
https://github.com/George66/Textbook
Может, потом ещё что-то вспомню.

[pilot2000]

Спасибо большое всем за советы, фронт работы понятен)