|
|
 |
| Результат поиска |
Поиск книг, содержащих: Goedel, Kurt
| Книга | Страницы для поиска | | Pesic P. — Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability | 197n | | Filiol E. — Computer Viruses: from theory to applications | 12 | | Ewald W. — From Kant to Hilbert, Vol.2 | 3, 880, 1089, 1116, 1136, 1169, 1214, 1215, 1216 | | Link G. (Ed) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy | 2, 6f, 12f, 18, 85, 93, 97, 98, 101, 142n, 146n, 449, 587 | | Velleman D.J. — How to Prove It: A Structured Approach | 327 | | Devlin K.J. — Language of Mathematics: Making the Invisible Visible | 82—84 | | Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic | 526, 546 | | Rockmore D. — Stalking the Riemann Hypothesis: The Quest to Find the Hidden Law of Prime Numbers | 135—136, 142, 154 | | Stillwell J. — Yearning for the Impossible: The Surprising Truths of Mathematics | 212 | | Borwein J., Bailey D., Girgensohn R. — Experimentation in Mathematics: Computational Paths to Discovery | 332 | | Borwein J., Bailey D. — Mathematics by Experiment: Plausible Reasoning in the 21st Century | 1$\dag$, 241 | | MacLane S. — Saunders MacLane: A Mathematical Autobiography | 51, 340 | | Boas R.P. — A Primer of Real Functions | xi | | Ito K. — Encyclopedic Dictionary of Mathematics | 184 | | National Council of Teachers of Mathematics — Historical Topics for the Mathematics Classroom Thirty-First Yearbook | 469, 471 | | Lawvere F.W., Schanuel S.H. — Conceptual Mathematics: A First Introduction to Categories | 306ff | | Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braid | 15—19, 24, 28, 738, 740, 742 | | von zur Gathen J., Gerhard J. — Modern computer algebra | 562 | | Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic | 124 | | Brookshear J.G. — Computer Science: An Overview | 20, 25, 508 | | Dewdney A.K. — Beyond reason. 8 great problems that reveal the limits of science | 139, 140, 153—161, 164, 165 | | Faith C. — Rings and Things and a Fine Array of Twentieth Century Associative Algebra | 273, 281, 318 | | Hellman H. — Great Feuds in Mathematics: Ten of the Liveliest Disputes Ever | 154, 198—199, 202, 204, 205, 208, 216 | | Hirst G. — Semantic interpretation and the resolution of ambiguity | 34 | | Enderton H.B. — A Mathematical Introduction to Logic | 145, 152 | | Wilf H.S., Zeilbercer D., Petkovšek M. — A=B | 4 | | Gries D. — A Logical Approach to Discrete Math | 111, 128, 129, 469, 474 | | Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 2 | 3, 880, 1089, 1116, 1136, 1169, 1214, 1215, 1216 | | Curry H.B. — Foundations of Mathematical Logic | 11, 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 science | 60 | | Derbyshire J. — Prime Obsession: Bernhard Riemann and the greatest unsolved problem in mathematics | 195, 391 | | Zeidler E. — Oxford User's Guide to Mathematics | 904, 906, 1196 | | Williams C.P., Clearwater S.H. — Explorations in quantum computing | 18, 29, 30, 45 | | Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction | 187 | | Thorne K.S., Hawking S. — Black holes and time warps: Einstein's outrageous legacy | 499n, 583 | | Davies P. — The New Physics | 354 | | Muir J. — Of Men and Numbers: The Story of the Great Mathematicians | 240 | | Sipser M. — Introduction to the Theory of Computation | 2, 206, 209, 382 | | Davis P.J. — Mathematics of Matrices | 330 | | Tipler F.J. — The Physics of Immortality | 24, 192 | | Krantz S. — Mathematical apocrypha redux | 50, 154, 156, 174 | | Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 1 | 3 | | Curry H.B. — Foundations of mathematical logic | 11, 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 Mathematics | 187 | | 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 MPop | 173—174 | | Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker)) | 3, 101, 269, 271, 274, 279, 282, 283 | | Sondheimer E., Rogerson A. — Numbers and Infinity: A Historical Account of Mathematical Concepts | 158 |
|
|
|
|
О проекте