|
Обратите внимание, что наш сайт не размещает какие-либо файлы из списка. Вы не можете скачать
эти файлы или скачать torrent-файл.
|
| 1.Начала теории множеств.pdf |
907.47Кб |
| 2.Языки и исчисления.pdf |
1.67Мб |
| 3.Вычислимые функции.pdf |
1.29Мб |
| Aaby. The Logical Foundations of Computer Science and Mathematics (lecture notes, draft book, 2007).pdf |
786.35Кб |
| Ambler. First-order linear logic in symmetric monoidal categories.pdf |
7.30Мб |
| Ben-Ari. Mathematical Logic for Computer Science, 2ed, 2001 (Springer).pdf |
20.38Мб |
| Bergmann. Introduction to Many-Valued and Fuzzy Logic CUP, 2007.pdf |
1.96Мб |
| Blackburn et al. Handbook of Modal Logic, Vol. 3.pdf |
9.96Мб |
| Boolos et al. Computability and Logic, 5ed, CUP, 2007.pdf |
2.23Мб |
| Bradley, Manna. The Calculus of Computation, Springer, 2007.pdf |
2.62Мб |
| Chaitin. Algorithmic information theory.pdf |
949.53Кб |
| Cocchiarella, Freund. Modal logic_ An introduction to its syntax and semantics (Oxford Univ. Pr.), 2008.djvu |
2.17Мб |
| Cresswell, Hughes. A New Introduction to Modal Logic.1996.djvu |
6.81Мб |
| Gallier. Logic for Computer Science_ Foundations of Automatic Theorem Proving.pdf.gz |
1.52Мб |
| Girard, Lafont. Linear logic and lazy computation, 1987.pdf |
636.56Кб |
| Girard. Light linear logic, 1995.pdf |
1.51Мб |
| Girard. Linear Logic, 1986.pdf |
10.56Мб |
| Girard. Linear logic and parallelism, 1987.pdf |
649.81Кб |
| Girard. Proofs and Types.pdf |
924.95Кб |
| Griffor. Handbook of Computability Theory, 1999.pdf |
30.51Мб |
| Handbook of Logic in Computer Science, Vol. 5, eds. Abramsky et al. .pdf |
27.86Мб |
| Handbook of mathematical logic, Barwise ed., 1977.djvu |
8.75Мб |
| Handbook Of Mathematical Logic (Elsevier, 1977).pdf |
380.57Мб |
| Hedman. A First Course in Logic, 2004 (Oxford).pdf |
6.84Мб |
| Huth, Ryan. Logic in Computer Science, 2004 (Cambridge).pdf |
2.13Мб |
| links.txt |
30б |
| Logic and Integer Programming.pdf |
2.67Мб |
| Moortgat. Categorial Type Logic, 1997.pdf |
483.81Кб |
| Odifreddi. Classical recursion theory, Elsevier, 1989.djvu |
7.77Мб |
| part1ps.zip |
389.36Кб |
| part2ps.zip |
681.77Кб |
| Petri.pdf |
2.10Мб |
| Sorensen, Urzyczyn. Lectures on the Curry-Howard Isomorphism.pdf |
37.55Мб |
| Булос, Джеффри. Вычилсимость и логика.djvu |
3.81Мб |
| Гильберт, Аккерман. Основы теоретической логики.djvu |
3.35Мб |
| Гильберт, Бернайс. Основания математики, ч. 1. Логические исчисления и формализация арифметики.djvu |
5.03Мб |
| Гильберт, Бернайс. Основания математики, ч. 2. Теория доказательств.djvu |
7.04Мб |
| Гудстеин. Математическая логика.djvu |
3.68Мб |
| Гуц. Математическая логика и теория алгоритмов.djvu |
556.29Кб |
| Ершов, Палютин. Математическая логика.djvu |
4.19Мб |
| Ершов, Палютин. Математическая логика.pdf |
11.76Мб |
| Ершов. Теория нумераций.djvu |
3.39Мб |
| Исследования по теории множеств и неклассическим логикам.djvu |
5.40Мб |
| Карри. Основания математической логики.djvu |
6.03Мб |
| Клини. Введение в метаматематику.djvu |
9.32Мб |
| Клини. Математическая логика.djvu |
6.09Мб |
| Колмогоров, Драгилев. Введение в математическую логику.djvu |
944.74Кб |
| Колмогоров, Драгилев. Математическая логика. Дополнительные главы.djvu |
1.77Мб |
| Кондаков. Логический словарь-справочник, 1975.djvu |
12.76Мб |
| Куратовский, Мостовский. Теория множеств.djvu |
8.01Мб |
| Лавров, Максимова. Задачи....djvu |
2.52Мб |
| Мальцев. Алгоритмы и рекурсивные функции.djvu |
4.38Мб |
| Манин. Вычислимое и невычислимое.djvu |
1.98Мб |
| Манин. Доказуемое и недоказуемое.djvu |
2.34Мб |
| Математическая логика в программировании (сборник статей), Мир, 1991.djvu |
5.64Мб |
| Математическая теория логического вывода, сб..djvu |
3.34Мб |
| Мендельсон. Введение в математическую логику.djvu |
2.63Мб |
| Непейвода. Прикладная логика.PDF |
2.17Мб |
| Пентус. Введение в мат. логику. Конспект лекций (Мехмат МГУ, 1 курс).pdf |
766.10Кб |
| Подзоров. Булевы алгебры.pdf |
895.18Кб |
| Проблемы математической логики, сбор. перев..djvu |
6.32Мб |
| Роджерс. Теория рекурсивных функций и эффективная вычислимость.djvu |
6.68Мб |
| Столл. Множества. Логика. Аксиоматические теории.doc |
4.43Мб |
| Успенский, Семенов. Теория алгоритмов.djvu |
3.30Мб |
| Успенский. Лекции о вычислимых функциях, 1960.djvu |
5.44Мб |
| Успенский. Теорема Геделя о неполноте.djvu |
1.80Мб |
| Успенский. Теорема Геделя о неполноте -- Содержание.htm |
20.30Кб |
| Френкель, Бар-Хиллел. Основания теории множеств.djvu |
7.28Мб |
| Хаусдорф. Теория множеств.djvu |
6.77Мб |
| Ч.1. Теория моделей.djvu |
6.05Мб |
| Ч.2. Теория множеств.djvu |
5.48Мб |
| Ч.3. Теория рекурсии.djvu |
5.19Мб |
| Ч.4. Теория доказательств и конструктивная математика.djvu |
5.17Мб |
| Черч. Введение в математическую логику.djvu |
5.11Мб |
| Эббинхауз и др. Машины Тьюринга и рекурсивные функции.djvu |
2.36Мб |