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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Pesic P. — Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability197n
Filiol E. — Computer Viruses: from theory to applications12
Ewald W. — From Kant to Hilbert, Vol.23, 880, 1089, 1116, 1136, 1169, 1214, 1215, 1216
Link G. (Ed) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy2, 6f, 12f, 18, 85, 93, 97, 98, 101, 142n, 146n, 449, 587
Velleman D.J. — How to Prove It: A Structured Approach327
Devlin K.J. — Language of Mathematics: Making the Invisible Visible82—84
Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic526, 546
Rockmore D. — Stalking the Riemann Hypothesis: The Quest to Find the Hidden Law of Prime Numbers135—136, 142, 154
Stillwell J. — Yearning for the Impossible: The Surprising Truths of Mathematics212
Borwein J., Bailey D., Girgensohn R. — Experimentation in Mathematics: Computational Paths to Discovery332
Borwein J., Bailey D. — Mathematics by Experiment: Plausible Reasoning in the 21st Century1$\dag$, 241
MacLane S. — Saunders MacLane: A Mathematical Autobiography51, 340
Boas R.P. — A Primer of Real Functionsxi
Ito K. — Encyclopedic Dictionary of Mathematics184
National Council of Teachers of Mathematics — Historical Topics for the Mathematics Classroom Thirty-First Yearbook469, 471
Lawvere F.W., Schanuel S.H. — Conceptual Mathematics: A First Introduction to Categories306ff
Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braid15—19, 24, 28, 738, 740, 742
von zur Gathen J., Gerhard J. — Modern computer algebra562
Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic124
Brookshear J.G. — Computer Science: An Overview20, 25, 508
Dewdney A.K. — Beyond reason. 8 great problems that reveal the limits of science139, 140, 153—161, 164, 165
Faith C. — Rings and Things and a Fine Array of Twentieth Century Associative Algebra273, 281, 318
Hellman H. — Great Feuds in Mathematics: Ten of the Liveliest Disputes Ever154, 198—199, 202, 204, 205, 208, 216
Hirst G. — Semantic interpretation and the resolution of ambiguity34
Enderton H.B. — A Mathematical Introduction to Logic145, 152
Wilf H.S., Zeilbercer D., Petkovšek M. — A=B4
Gries D. — A Logical Approach to Discrete Math111, 128, 129, 469, 474
Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 23, 880, 1089, 1116, 1136, 1169, 1214, 1215, 1216
Curry H.B. — Foundations of Mathematical Logic11, 15, 18, 22—23, 26, 88, 95, 120, 123—124, 184, 250, 279, 309, 349, 354, 368
Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science60
Derbyshire J. — Prime Obsession: Bernhard Riemann and the greatest unsolved problem in mathematics195, 391
Zeidler E. — Oxford User's Guide to Mathematics904, 906, 1196
Williams C.P., Clearwater S.H. — Explorations in quantum computing18, 29, 30, 45
Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics187
Thorne K.S., Hawking S. — Black holes and time warps: Einstein's outrageous legacy499n, 583
Davies P. — The New Physics354
Muir J. — Of Men and Numbers: The Story of the Great Mathematicians240
Sipser M. — Introduction to the Theory of Computation2, 206, 209, 382
Davis P.J. — Mathematics of Matrices330
Tipler F.J. — The Physics of Immortality24, 192
Krantz S. — Mathematical apocrypha redux50, 154, 156, 174
Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 13
Curry H.B. — Foundations of mathematical logic11, 15, 18, 22—23, 26, 88, 95, 120, 123—124, 184, 250, 279, 309, 349, 354, 368
Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics187
Krantz S. — Mathematical Apocrypha Redux: More Stories and Anecdotes of Mathematicians and the Mathematical (Spectrum) (Spectrum)50, 154, 156, 174
Alexanderson G. — The harmony of the world: 75 years of Mathematics Magazine MPop173—174
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте