|
|
 |
| Результат поиска |
Поиск книг, содержащих: Gentzen, Gerhard
| Книга | Страницы для поиска | | Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 156.E 411.J, r | | Pesic P. — Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability | 197n | | Ewald W. — From Kant to Hilbert, Vol.2 | 1089, 1116, 1136 | | Link G. (Ed) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy | 455 | | Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel | 45n, 82n, 113, 125—126, 136, 147 | | Kline M. — Mathematical Thought from Ancient to Modern Times, Vol. 1 | 1209 | | MacLane S. — Saunders MacLane: A Mathematical Autobiography | 49 | | Kline M. — Mathematical Thought from Ancient to Modern Times, Vol. 3 | 1209 | | Kline M. — Mathematical Thought from Ancient to Modern Times, Vol. 2 | 1209 | | Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braid | 195 | | Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic | 193 | | Newman J.R. (ed.) — The World of Mathematics, Volume 4 | 1694 | | Hellman H. — Great Feuds in Mathematics: Ten of the Liveliest Disputes Ever | 191 | | Copi I.M., Cohen C. — Introduction to logic | 336 | | Gries D. — A Logical Approach to Discrete Math | 113, 116, 121, 131, 474 | | Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 2 | 1089, 1116, 1136 | | Gries D. — The science of programming | 42 | | Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years | 47 | | Kline M. — Mathematical thought from ancient to modern times | 1209 |
|
|
|
|
О проекте