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