(no subject)

В этих двух архивах почти все книжки по математической логике, изданные в Советском Союзе. Я выкладывал эти ссылки, но давно и они "утонули". Собирал Станислав Баров ещё до появления libgen, сейчас кое-что можно найти в лучшем качестве на libgen

http://www.mediafire.com/download/cn7hskh3t3w1uto/djvu.rar
http://www.mediafire.com/download/4g54uiij5yvezu8/pdf.rar

К учебнику рано или поздно допишу главу про string diagrams, но сейчас лень и голова занята другим, читайте пока Константина Крылова "Золотой ключ".