LogicandCSSorensen,Urzyczyn.LecturesontheCurry-HowardIsomorphism.pdf;LogicandCSHandbookofLogicinComputerScience,Vol.5,eds.Abramskyetal..pdf;LogicandCSBen-Ari.MathematicalLogicforComputerScience,2ed,20

Yablonskij_Vvedenie_diskret.djvu;袗.挟.协胁薪懈薪.袛懈褋泻褉械褌薪邪褟屑邪褌械屑邪褌懈泻邪.袣芯薪褋锌械泻褌谢械泻褑懈泄.1998.djvu;袗泻懈屑芯胁袨.袝.-袛懈褋泻褉械褌薪邪褟屑邪褌械屑邪褌懈泻邪.袥芯谐懈泻邪,谐褉褍锌锌褘,谐褉邪褎褘(2001)(2-e,写芯锌.)(ru).djvu.djvu;袗谢械泻褋械械胁袙.袘.-袛懈褋泻褉械褌薪邪褟屑邪褌械屑邪

2.小锌邪褉褌邪泻_DVB_dean10.ts;4.效邪褖褟褋屑械褉褌懈.ts;3.挟谢懈泄笑械蟹邪褉褜_DVB_dean10.ts;1.袩械褉胁邪褟胁芯泄薪邪褋胁邪褉胁邪褉邪屑懈_DVB_dean10.ts

ИгошинМатематическаялогикаитеорияалгоритмов.djvu

МессиДж.-Пороговоедекодирование-1966.pdf;АрнольдВ.И.(ред).-Особенностидифференцируемыхотображений-1968.djvu;ЗойтендейкГ.-Методывозможныхнаправлений-1963.pdf;АгмонС.ДуглисА.,НиренбергЛ.-Оценкирешенийэл

ЧемпионатИталии2018-201917-йтурЛацио-КальяриМатчТВHD.ts

ЧемпионатИталии2018-201917-йтурЮвентус-РомаМатчТВHD.ts

ЧемпионатИталии2018-201919-йтурМилан-СПАЛМатч!Футбол2HD.ts

ЧемпионатИталии2018-201919-йтурЮвентус-СампдорияМатчТВHD.ts

ЧемпионатИталии2018-201919-йтурЭмполи-ИнтерМатч!Футбол2HD.ts