https://www.coursera.org/course/intrologic
https://www.coursera.org/course/logic1
https://www.coursera.org/course/philsci
https://hexlet.org/course/logic/
Литература:
Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем (1983)(ru)
http://librarum.org/book/4450/1
Законы логики высказываний:
http://librarum.org/book/4450/12 - коммутативные, ассоциативные, дистрибутивные, законы де Моргана
http://books.crimea.ua/cat5/kniga6155.html
В.П. Битюцкий, Н.В. Папуловская - МАТЕМАТИЧЕСКАЯ ЛОГИКА ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ
http://www.kosstu.kz/static/uploads/library/techik/matematika/t-m-13.pdf
http://lib.rushkolnik.ru/text/46170/index-1.html
http://www.rsvpu.ru/filedirectory/5295/posobie-po_matlogike.doc
Математическая логика. Контактные схемы
http://pgap.chat.ru/zap/zap116.htm#0
http://www.metodichka.net/Informatika.php?itemid=31
Ресурсы, игры, задачи