Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Каталог
Всего ресурсов: 192533
parent directoryНа уровень выше


» Математика » Алгебра » Математическая логика »

blank
Содержимое каталога
1. 1998 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '982003
2. Barwise J. Etchemendy J. Allwein G. Language, Proof and Logic1999
3. Bilaniuk S. A Problem Course in Mathematical Logic (vol. 1) (Version 1.5 edition)1999
4. Bilaniuk S. A Problem Course in Mathematical Logic (vol. 2) (Version 1.3 edition)1997
5. Chagrov A. Zakharyaschev M. Modal logic1997
6. Ebbinghaus H.-D. Flum J. Thomas W. Mathematical logic1984
7. Girard J.-Y. Taylor P. Lafont Y. Proofs and Types1989
8. Goldblatt R. Mathematics of modality (1 edition)1994
9. Kneebone G.T. Mathematical Logic and the Foundation of Mathematics1963
10. Levitz K. Levitz H. Logic and Boolean Algebra1997
11. Makkai M. Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli (part 1)1993
12. Makkai M. Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli (part 2)1993
13. McCall R.J. Basic logic (second edition)1952
14. Nolt J. Rohatyn D. Varzi A. Schaum's Outline of Logic (Second edition)1998
15. Popper K. New foundations for logic1947
16. Rips J.L. The psychology of proof: deductive reasoning in human thinking1994
17. Robinson A. Complete theories (2-nd edition)1977
18. Simpson S.G. Mathematical Logic2000
19. Steen S.W.P. Mathematical Logic with Special Reference to the Natural Numbers1972
20. Tarski A. Undecidable theories (3d edition)1971
21. Turchin V.F. A constructive interpretation of the full set theory1987
22. Wolter F. Wansing H. Вe Rijke M. Advances in modal logic (vol.3)2002
23. Айзерман М.А. Гусев Л.А. Розоноэр Л.И.и др. Логика. Автоматы. Алгоритмы1963
24. Беркли Э. Символическая логика и разумные машины1961
25. Бизам Д. Герцег Я. Многоцветная логика1978
26. Бродский И.Н. Отрицательные высказывания1973
27. Булос Дж. Джеффри Р. Вычислимость и логика1994
28. Верещагин Н.К. Шень А. Начала теории множеств1999
29. Верещагин Н.К. Шень А. Языки и исчисления2000
30. Винокуров С.Ф. Избранные вопросы теории булевых функций2001
31. Гейтинг А. Интуиционизм1965
32. Генкин Л. О математической индукции1962
33. Гильберт Д. Бернайс П. Основания математики. Логические исчисления и формализация арифметики.1979
34. Гильберт Д. Бернайс П. Основания математики. Теория доказательств.1982
35. Гильберт Д. Аккерман В. Основы теоретической логики1947
36. Гиндикин С.Г. Алгебра логики в задачах1972
37. Гончаров С.С. Счетные булевы алгебры и разрешимость1996
38. Горский Д.П. Таванц П.В. Логика1956
39. Гохман А.В. Спивак М.А. Розен В.В. Сборник задач по математической логике и алгебре множеств (2-е издание, исправленное и дополненное)1969
40. Гудстейн Р.Л. Математическая логика и основания математики. Рекурсивный математический анализ1970
41. Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств1979
42. Ершов Ю.Л. Палютин Е.А. Математическая логика (2-е издание, исправленное и дополненное)1987
43. Ершов Ю.Л. Определимость и вычислимость1996
44. Ершов Ю.Л. Теория нумераций1977
45. Зиновьев А.А. Логическая Физика1972
46. Кановей В.Г. Аксиома выбора и аксиома детерминированности1984
47. Карри Х.Б. Основания математической логики1969
48. Кейслер Г.Дж. Чень-Чунь Ч. Теория непрерывных моделей1971
49. Китчев Ф. Федоров Б.И. Методологический анализ оснований математики1988
50. Клини С. Математическая логика1973
51. Клини С. Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функций1978
52. Клини С.К. Введение в метаматематику1957
53. Колмогоров А.Н. Драгалин А.Г. Введение в математическую логику1982
54. Колмогоров А.Н. Драгалин А.Г. Математическая логика. Дополнительные главы1984
55. Кондаков Н.И. Введение в логику1967
56. Крайзель Г. Исследования по теории доказательств1981
57. Кулик Б.А. Логика естественных рассуждений2001
58. Кутасов А.Д. Элементы математической логики1977
59. Лакатос И. Доказательства и опровержения1967
60. Линдон Р. Заметки по логике1968
61. Манин Ю.И. Доказуемое и недоказуемое1979
62. Манин Ю.И. Лекции по математической логике. Часть 11974
63. Манин Ю.И. Лекции по математической логике. Часть 21974
64. Марков А.А. Элементы математической логики1984
65. Мартин-Лёф П. Очерки по конструктивной математике1975
66. Марченков С.С. Замкнутые классы булевых функций2000
67. Мельников Г.П. Азбука математической логики1967
68. Мендельсон Э. Введение в математическую логику1971
69. Молодший В.Н. Очерки по вопросам обоснования математики1958
70. Никитин В.В. Сборник логических упражнений1970


1 2
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте