Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Table, truth
Книга
Страницы для поиска
Dodge C.W. — Sets, logic & numbers
6
Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers
58, 66
Dodge C.W. — Foundations of algebra and analysis
6
Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures
47, 225
Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics
101—106, 108, 110, 111, 113—116, 118, 119, 125—127, 131, 229, 240, 241, 250
Gullberg J. — Mathematics: from the birth of numbers
220
Elliott Mendelson — Introduction to mathematical logic
11
Steen S. — Mathematical Logic with Special Reference to the Natural Numbers
58, 66
Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures
47, 267
Jacky J. — The Way of Z: Practical Programming with Formal Methods
100—104, 248, 324
Steen S. — Mathematical Logic
58, 66
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте