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

square Второй курс

square Третий курс

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

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

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

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


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

blank
Содержимое каталога
71. Никольская И.Л. Математическая логика1981
72. Новиков П.С. Конструктивная математическая логика с точки зрения классической1977
73. Пензов Ю.П. Элементы математической логики и теории множеств1968
74. Перетятькин М.Г. Конечно аксиоматизируемые теории1997
75. Попов А.И. Введение в математическую логику1959
76. Попович М.В. Доказательство и понимание1986
77. Ракитов А.И. Курс лекций по логике науки1971
78. Расёва Е. Сикорский Р. Математика метаматематики1972
79. Робинсон А. Введение в теорию моделей и мета-математику алгебры1967
80. Сакс Дж.Е. Теория насыщенных моделей1976
81. Серебрянников О.Ф. Эвристические принципы и логические исчисления1970
82. Слупецкий Е. Борковский Л. Элементы математической логики и теория множеств1965
83. Смальян Р. Теория формальных систем1981
84. Столяр А.А. Логические проблемы преподавания математики1965
85. Столяр А.А. Логическое введение в математику1971
86. Стяжкин Н.И. Формирование математической логики1967
87. Таванец П.В. Проблемы логики1963
88. Таванец П.В. Проблемы логики1963
89. Таванец П.В. Философские вопросы современной формальной логики1962
90. Такеути Г. Теория доказательств1978
91. Тарский А. Введение в логику и методологию дедуктивных наук1948
92. Успенский В.А. Лекции о вычислимых функциях1960
93. Фейс Р. Модальная логика1974
94. Фреге Г. Основоположения арифметики: Логико-математическое исследование о понятии числа2000
95. Фрейденталь Х. Язык логики1969
96. Френкель А.А. Бар-Хиллел И. Основания теории множеств1966
97. Харин Н.Н. Математическая логика и теория множеств1963
98. Чень Ч. Ли Р. Математическая логика и автоматическое доказательство теорем1983
99. Чёрч А. Введение в математическую логику (том 1)1960
100. Чупахин И.Я. Бродский И.Н. Формальная логика1977
101. Шапиро С.И. От алгоритмов — к суждениям (Эксперименты по обучению элементам математического мышления)1973
102. Шенфилд Дж. Математическая логика1975
103. Шенфилд Дж. Степени неразрешимости1977
104. Эдельман С.Л. Математическая логика1975
105. Яковлев А.В. Математическая логикаn/a


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