Вот в этих двух архивах почти все книги по матлогике, изданные в СССР
http://www.mediafire.com/download/cn7hs ... o/djvu.rarhttp://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Может, потом ещё что-то вспомню.