Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Classical logic
Книга
Страницы для поиска
Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2
411.L
Chagrov A., Zakharyaschev M. — Modal logic
6
Siler W., Buckley J.J. — Fuzzy Expert Systems and Fuzzy Reasoning
29
Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra
4
Goldblatt R. — Topoi
131
Ito K. — Encyclopedic Dictionary of Mathematics
411.L
Gabbay D.M. (ed.), Guenthner F. (ed.) — Handbook of Philosophical Logic (Volume 13)
63, 73
Hazewinkel M. — Handbook of Algebra (part 2)
48
Gentzen G. — The collected papers of Gerhard Gentzen
4—6, 53, 66, 68, 103
Pavičić M. — Quantum Computation and Quantum Communication: Theory and Experiments
194
Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics
8, 9, 11, 13, 14, 30, 172, 4, 178, 81, 183, 4, 185-6, 188, 9, 190, 7, 209n, 242
Bridges D.S. — Computability: A mathematical sketchbook
ix
Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
196, 206
Gullberg J. — Mathematics: from the birth of numbers
216
Truss J.K. — Foundations of Mathematical Analysis
328
Truss J. — Foundations of mathematical analysis
328
J. K. Truss — Foundations of mathematical analysis MCet
328
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте