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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2156.E 411.J, r
Pesic P. — Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability197n
Ewald W. — From Kant to Hilbert, Vol.21089, 1116, 1136
Link G. (Ed) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy455
Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel45n, 82n, 113, 125—126, 136, 147
Kline M. — Mathematical Thought from Ancient to Modern Times, Vol. 11209
MacLane S. — Saunders MacLane: A Mathematical Autobiography49
Kline M. — Mathematical Thought from Ancient to Modern Times, Vol. 31209
Kline M. — Mathematical Thought from Ancient to Modern Times, Vol. 21209
Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braid195
Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic193
Newman J.R. (ed.) — The World of Mathematics, Volume 41694
Hellman H. — Great Feuds in Mathematics: Ten of the Liveliest Disputes Ever191
Copi I.M., Cohen C. — Introduction to logic336
Gries D. — A Logical Approach to Discrete Math113, 116, 121, 131, 474
Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 21089, 1116, 1136
Gries D. — The science of programming42
Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years47
Kline M. — Mathematical thought from ancient to modern times1209
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте