Мат. логика и теория алгоритмов

1. Handbook Of Mathematical Logic (Elsevier, 1977).pdf380.57 MB
2. Logic and CSSorensen, Urzyczyn. Lectures on the Curry-Howard Isomorphism.pdf37.55 MB
3. Griffor. Handbook of Computability Theory, 1999.pdf30.51 MB
4. Logic and CSHandbook of Logic in Computer Science, Vol. 5, eds. Abramsky et al. .pdf27.86 MB
5. Logic and CSBen-Ari. Mathematical Logic for Computer Science, 2ed, 2001 (Springer).pdf20.38 MB
6. 袣芯薪写邪泻芯胁. 袥芯谐懈褔械褋泻懈泄 褋谢芯胁邪褉褜-褋锌褉邪胁芯褔薪懈泻, 1975.djvu12.76 MB
7. 袝褉褕芯胁, 袩邪谢褞褌懈薪. 袦邪褌械屑邪褌懈褔械褋泻邪褟 谢芯谐懈泻邪.pdf11.76 MB
8. Non-classic logicsLinear LogicGirard. Linear Logic, 1986.pdf10.56 MB
9. Non-classic logicsModal LogicsBlackburn et al. Handbook of Modal Logic, Vol. 3.pdf9.96 MB
10. 袣谢懈薪懈. 袙胁械写械薪懈械 胁 屑械褌邪屑邪褌械屑邪褌懈泻褍.djvu9.32 MB
11. 小锌褉邪胁芯褔薪邪褟 泻薪懈谐邪 锌芯 屑邪褌械屑邪褌懈褔械褋泻芯泄 谢芯谐懈泻械, 褉械写. 袘邪褉胁邪泄褋Handbook of mathematical logic, Barwise ed., 1977.djvu8.75 MB
12. 孝械芯褉懈褟 屑薪芯卸械褋褌胁袣褍褉邪褌芯胁褋泻懈泄, 袦芯褋褌芯胁褋泻懈泄. 孝械芯褉懈褟 屑薪芯卸械褋褌胁.djvu8.01 MB
13. Odifreddi. Classical recursion theory, Elsevier, 1989.djvu7.77 MB
14. Non-classic logicsLinear LogicAmbler. First-order linear logic in symmetric monoidal categories.pdf7.3 MB
15. 孝械芯褉懈褟 屑薪芯卸械褋褌胁肖褉械薪泻械谢褜, 袘邪褉-啸懈谢谢械谢. 袨褋薪芯胁邪薪懈褟 褌械芯褉懈懈 屑薪芯卸械褋褌胁.djvu7.28 MB
16. 袚懈谢褜斜械褉褌, 袘械褉薪邪泄褋. 袨褋薪芯胁邪薪懈褟 屑邪褌械屑邪褌懈泻懈袚懈谢褜斜械褉褌, 袘械褉薪邪泄褋. 袨褋薪芯胁邪薪懈褟 屑邪褌械屑邪褌懈泻懈, 褔. 2. 孝械芯褉懈褟 写芯泻邪蟹邪褌械谢褜褋褌胁.djvu7.04 MB
17. Hedman. A First Course in Logic, 2004 (Oxford).pdf6.84 MB
18. Non-classic logicsModal LogicsCresswell, Hughes. A New Introduction to Modal Logic.1996.djvu6.81 MB
19. 孝械芯褉懈褟 屑薪芯卸械褋褌胁啸邪褍褋写芯褉褎. 孝械芯褉懈褟 屑薪芯卸械褋褌胁.djvu6.77 MB
20. 袪芯写卸械褉褋. 孝械芯褉懈褟 褉械泻褍褉褋懈胁薪褘褏 褎褍薪泻褑懈泄 懈 褝褎褎械泻褌懈胁薪邪褟 胁褘褔懈褋谢懈屑芯褋褌褜.djvu6.68 MB
21. 袩褉芯斜谢械屑褘 屑邪褌械屑邪褌懈褔械褋泻芯泄 谢芯谐懈泻懈, 褋斜芯褉. 锌械褉械胁..djvu6.32 MB
22. 袣谢懈薪懈. 袦邪褌械屑邪褌懈褔械褋泻邪褟 谢芯谐懈泻邪.djvu6.09 MB
23. 小锌褉邪胁芯褔薪邪褟 泻薪懈谐邪 锌芯 屑邪褌械屑邪褌懈褔械褋泻芯泄 谢芯谐懈泻械, 褉械写. 袘邪褉胁邪泄褋效.1. 孝械芯褉懈褟 屑芯写械谢械泄.djvu6.05 MB
24. 袣邪褉褉懈. 袨褋薪芯胁邪薪懈褟 屑邪褌械屑邪褌懈褔械褋泻芯泄 谢芯谐懈泻懈.djvu6.03 MB
25. Logic and CS袦邪褌械屑邪褌懈褔械褋泻邪褟 谢芯谐懈泻邪 胁 锌褉芯谐褉邪屑屑懈褉芯胁邪薪懈懈 (褋斜芯褉薪懈泻 褋褌邪褌械泄), 袦懈褉, 1991.djvu5.64 MB
26. 小锌褉邪胁芯褔薪邪褟 泻薪懈谐邪 锌芯 屑邪褌械屑邪褌懈褔械褋泻芯泄 谢芯谐懈泻械, 褉械写. 袘邪褉胁邪泄褋效.2. 孝械芯褉懈褟 屑薪芯卸械褋褌胁.djvu5.48 MB
27. 校褋锌械薪褋泻懈泄. 袥械泻褑懈懈 芯 胁褘褔懈褋谢懈屑褘褏 褎褍薪泻褑懈褟褏, 1960.djvu5.44 MB
28. Non-classic logics袠褋褋谢械写芯胁邪薪懈褟 锌芯 褌械芯褉懈懈 屑薪芯卸械褋褌胁 懈 薪械泻谢邪褋褋懈褔械褋泻懈屑 谢芯谐懈泻邪屑.djvu5.4 MB
29. 小锌褉邪胁芯褔薪邪褟 泻薪懈谐邪 锌芯 屑邪褌械屑邪褌懈褔械褋泻芯泄 谢芯谐懈泻械, 褉械写. 袘邪褉胁邪泄褋效.3. 孝械芯褉懈褟 褉械泻褍褉褋懈懈.djvu5.19 MB
30. 小锌褉邪胁芯褔薪邪褟 泻薪懈谐邪 锌芯 屑邪褌械屑邪褌懈褔械褋泻芯泄 谢芯谐懈泻械, 褉械写. 袘邪褉胁邪泄褋效.4. 孝械芯褉懈褟 写芯泻邪蟹邪褌械谢褜褋褌胁 懈 泻芯薪褋褌褉褍泻褌懈胁薪邪褟 屑邪褌械屑邪褌懈泻邪.djvu5.17 MB
31. 效械褉褔. 袙胁械写械薪懈械 胁 屑邪褌械屑邪褌懈褔械褋泻褍褞 谢芯谐懈泻褍.djvu5.11 MB
32. 袚懈谢褜斜械褉褌, 袘械褉薪邪泄褋. 袨褋薪芯胁邪薪懈褟 屑邪褌械屑邪褌懈泻懈袚懈谢褜斜械褉褌, 袘械褉薪邪泄褋. 袨褋薪芯胁邪薪懈褟 屑邪褌械屑邪褌懈泻懈, 褔. 1. 袥芯谐懈褔械褋泻懈械 懈褋褔懈褋谢械薪懈褟 懈 褎芯褉屑邪谢懈蟹邪褑懈褟 邪褉懈褎屑械褌懈泻懈.djvu5.03 MB
33. 小褌芯谢谢. 袦薪芯卸械褋褌胁邪. 袥芯谐懈泻邪. 袗泻褋懈芯屑邪褌懈褔械褋泻懈械 褌械芯褉懈懈.doc4.43 MB
34. 袦邪谢褜褑械胁. 袗谢谐芯褉懈褌屑褘 懈 褉械泻褍褉褋懈胁薪褘械 褎褍薪泻褑懈懈.djvu4.38 MB
35. 袝褉褕芯胁, 袩邪谢褞褌懈薪. 袦邪褌械屑邪褌懈褔械褋泻邪褟 谢芯谐懈泻邪.djvu4.19 MB
36. 袘褍谢芯褋, 袛卸械褎褎褉懈. 袙褘褔懈谢褋懈屑芯褋褌褜 懈 谢芯谐懈泻邪.djvu3.81 MB
37. 袚褍写褋褌械懈薪. 袦邪褌械屑邪褌懈褔械褋泻邪褟 谢芯谐懈泻邪.djvu3.68 MB
38. 袝褉褕芯胁. 孝械芯褉懈褟 薪褍屑械褉邪褑懈泄.djvu3.39 MB
39. 袚懈谢褜斜械褉褌, 袗泻泻械褉屑邪薪. 袨褋薪芯胁褘 褌械芯褉械褌懈褔械褋泻芯泄 谢芯谐懈泻懈.djvu3.35 MB
40. 袦邪褌械屑邪褌懈褔械褋泻邪褟 褌械芯褉懈褟 谢芯谐懈褔械褋泻芯谐芯 胁褘胁芯写邪, 褋斜..djvu3.34 MB
41. 校褋锌械薪褋泻懈泄, 小械屑械薪芯胁. 孝械芯褉懈褟 邪谢谐芯褉懈褌屑芯胁.djvu3.3 MB
42. Logic and Integer Programming.pdf2.67 MB
43. 袦械薪写械谢褜褋芯薪. 袙胁械写械薪懈械 胁 屑邪褌械屑邪褌懈褔械褋泻褍褞 谢芯谐懈泻褍.djvu2.63 MB
44. Bradley, Manna. The Calculus of Computation, Springer, 2007.pdf2.62 MB
45. 袥邪胁褉芯胁, 袦邪泻褋懈屑芯胁邪. 袟邪写邪褔懈....djvu2.52 MB
46. 协斜斜懈薪褏邪褍蟹 懈 写褉. 袦邪褕懈薪褘 孝褜褞褉懈薪谐邪 懈 褉械泻褍褉褋懈胁薪褘械 褎褍薪泻褑懈懈.djvu2.36 MB
47. 袦邪薪懈薪. 袛芯泻邪蟹褍械屑芯械 懈 薪械写芯泻邪蟹褍械屑芯械.djvu2.34 MB
48. Boolos et al. Computability and Logic, 5ed, CUP, 2007.pdf2.23 MB
49. 袧械锌械泄胁芯写邪. 袩褉懈泻谢邪写薪邪褟 谢芯谐懈泻邪.PDF2.17 MB
50. Non-classic logicsModal LogicsCocchiarella, Freund. Modal logic_ An introduction to its syntax and semantics (Oxford Univ. Pr.), 2008.djvu2.17 MB