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

square Второй курс

square Третий курс

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

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

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

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Wang, Hao



КнигаСтраницы для поиска
Карпенко А.С. — Логики Лукасевича и простые числа47
Ewald W. — From Kant to Hilbert, Vol.2754, 790, 1217
Link G. (Ed) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy13, 200
Kneale M. — Development of Logic473 n., 626 ff., 672 n.
Knuth D.E. — The art of computer programming (Vol. 1. Fundamental algorithms)346, 382, 383, 384
Knuth D.E. — The art of computer programming (vol. 1 Fundаmental algorithms)383—384
Beth E.W. — The foundations of mathematics: A study in the philosophy of science392, 394, 473, 482, 497, 508f., 666
Rucker R. — Mind Tools. The Five Levels of Mathematical Reality221
Gries D. — A Logical Approach to Discrete Math129, 475
Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 2754, 790, 1217
Robinson A. — Introduction to model theory and to the metamathematics of algebra280
Wilson R. — Mathematical conversations: selections from The mathematical intelligencer407
Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years102
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте