|
|
 |
| Результат поиска |
Поиск книг, содержащих: Tarski, Alfred
| Книга | Страницы для поиска | | Keisler H.J. — Elementary calculus | 904 | | Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 22.G 33.r 97.B, r 156.r 185.D, r 276.D | | Winograd T. — Understanding computers and cognition | 17n | | Ewald W. — From Kant to Hilbert, Vol.2 | 3, 597, 1209, 1210, 1211, 1218, 1223 | | Link G. (Ed) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy | 13, 404n, 537, 614 | | Matijasevich Y. — Hilbert's 10th Problem | 16, 37, 168, 207, 253 | | Ewald W. — From Kant to Hilbert, Vol.1 | 3, 597 | | Enderton H.B. — Elements of set theory | 256 | | Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic | 400, 506, 556 | | Corfield D. — Towards a Philosophy of Real Mathematics | 50 | | Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel | 15n, 84, 215, 267 | | Wapner L. — The Pea and the Sun: A Mathematical Paradox | 18, 56, 94 | | Knuth D.E. — The art of computer programming (vol. 2 Seminumerical Algorithms) | 718 | | Boas R.P. — A Primer of Real Functions | 200 | | Lawvere F.W., Schanuel S.H. — Conceptual Mathematics: A First Introduction to Categories | 306ff | | Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braid | 579—581 | | von zur Gathen J., Gerhard J. — Modern computer algebra | 593, 710, 725 | | von zur Gathen J., Gerhard J. — Modern computer algebra | 593, 710, 725 | | Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic | 170, 175 | | Knuth D.E. — The art of computer programming (Vol. 2. Seminumerical algorithms) | 502 | | Kasner E., Newman J. — Mathematics and the Imagination | 205—207, 219 | | Faith C. — Rings and Things and a Fine Array of Twentieth Century Associative Algebra | 290, 315n | | Ralph P. Boas Jr, Alexanderson G.L., Mugler D.H. — Lion Hunting and Other Mathematical Pursuits | 60 | | Adams P.W., Smith K., Výborný D. — Introduction to Mathematics with Maple | 55 | | Berkeley E.C. — Giant Brains Or Machines That Think | 248—249 | | Enderton H.B. — A Mathematical Introduction to Logic | 152, 154, 159, 286 | | Borovik A.V. — Mathematics under the microscope | 104 | | Rucker R. — Mind Tools. The Five Levels of Mathematical Reality | 225—226 | | Kasner E., Newman J. — Mathematics and the imagination | 205—207, 219 | | Katz V.J. — A History of Mathematics: An Introduction | 812—813 | | Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 2 | 3, 597, 1209, 1210, 1211, 1218, 1223 | | Knuth D.E. — Axioms and Hulls | 104 | | Tipler F.J. — The Physics of Immortality | 192 | | Krantz S. — Mathematical apocrypha redux | 65, 93, 103, 104, 121, 127, 159, 174, 175 | | Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 1 | 3, 597 | | Wilson R. — Mathematical conversations: selections from The mathematical intelligencer | 51, 166—174, 475 | | Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years | 33, 39 | | Krantz S. — Mathematical Apocrypha Redux: More Stories and Anecdotes of Mathematicians and the Mathematical (Spectrum) (Spectrum) | 65, 93, 103, 104, 121, 127, 159, 174, 175 |
|
|
|
|
О проекте