Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Presburger, M.
Книга
Страницы для поиска
Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2
156.E, r
Tarski A. — Undecidable theories
64f, 90
Marker D. — Model theory: An introduction
111
Ito K. — Encyclopedic Dictionary of Mathematics
156.E, 156.r
Monk J.D. — Mathematical Logic
234
Kaye R. — Models of Peano Arithmetic
267
Beth E.W. — The foundations of mathematics: A study in the philosophy of science
74, 127, 238, 584, 586
Franzén T. — G #246 del's Theorem: An Incomplete Guide to Its Use and Abuse
133
Van Orman Quine W. — Methods of Logic
247
Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.
628
Ackermann W. — Solvable Cases of the Decision Problem
60
Elliott Mendelson — Introduction to mathematical logic
134, 266
Robinson A. — Introduction to model theory and to the metamathematics of algebra
277
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2025
|
|
О проекте