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

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

К учебнику рано или поздно допишу главу про string diagrams, но сейчас лень и голова занята другим, читайте пока Константина Крылова "Золотой ключ".
66george: (киса)
Пожалуй, я сделаю так: выложу две последние главы, а сам буду делать отладку, никуда не торопясь (мелких опечаток нашёл довольно много)

http://www.mediafire.com/download/nziseq3hyhpm4sn/%D0%B4%D0%B2%D0%B5+%D0%BF%D0%BE%D1%81%D0%BB%D0%B5%D0%B4%D0%BD%D0%B8%D0%B5+%D0%B3%D0%BB%D0%B0%D0%B2%D1%8B.pdf

Материал сложный, последняя глава вообще скорее для фанатов. Не поздно покритиковать. В конце раздела про модели Скотта приписал маленькое, но ценное замечание.

Profile

66george: (Default)
66george

August 2016

S M T W T F S
 1 23456
7 891011 12 13
1415161718 19 20
21 222324252627
28 293031   

Syndicate

RSS Atom

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 21st, 2017 04:44 pm
Powered by Dreamwidth Studios