|
|
 |
| Результат поиска |
Поиск книг, содержащих: Church, Alonzo
| Книга | Страницы для поиска | | Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 22.G 31.B 75.D 81.A, r 97.r 354.r 356.A, C, E, G, r | | Maeder R.E. — Computer science with mathematica | 280, 346 | | Ewald W. — From Kant to Hilbert, Vol.2 | 3 | | Link G. (Ed) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy | 12n, 13, 435n, 453 | | Matijasevich Y. — Hilbert's 10th Problem | 99, 225 | | Ewald W. — From Kant to Hilbert, Vol.1 | 3 | | Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel | 100, 101, 106,131,132,131, 267, 324, 327 | | MacLane S. — Saunders MacLane: A Mathematical Autobiography | 76, 198, 199, 340, 341 | | Sipser M. — Introduction to the theory of computation | 2, 155, 227 | | Nasar S. — A Beautiful Mind | 63, 64, 93 | | Knuth D.E. — The art of computer programming (vol. 2 Seminumerical Algorithms) | 178 | | Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braid | 428, 476, 561 | | von zur Gathen J., Gerhard J. — Modern computer algebra | 712 | | Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic | 124, 188 | | Knuth D.E. — The art of computer programming (Vol. 2. Seminumerical algorithms) | 165 | | Brookshear J.G. — Computer Science: An Overview | 507 | | Lawrence C. Paulson — ML for the working programmer | 47, 372 | | Touretzky D.S. — Common LISP: a gentle introduction to symbolic computation | 106 | | Ward S.A. — Computation Structures | 271, 277 | | Scott M.L. — Programming Language Pragmatics | 6, 489, 590, 617, 657, 791 | | Sebesta R.W. — Concepts of programming languages | 594 | | Eisenberg M., Abelson H. — Programming in Scheme | 156 | | Dewdney A.K. — Beyond reason. 8 great problems that reveal the limits of science | 69, 173 | | Ralph P. Boas Jr, Alexanderson G.L., Mugler D.H. — Lion Hunting and Other Mathematical Pursuits | 126 | | Copi I.M., Cohen C. — Introduction to logic | 253 | | Rucker R. — Mind Tools. The Five Levels of Mathematical Reality | 225, 237, 245—247 | | Brookshear J. — Computer Science | 507 | | Katz V.J. — A History of Mathematics: An Introduction | 840 | | Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 2 | 3 | | Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science | 411 | | Derbyshire J. — Prime Obsession: Bernhard Riemann and the greatest unsolved problem in mathematics | 195 | | Gossett E. — Discrete Math with Proof | 576 | | Sipser M. — Introduction to the Theory of Computation | 2, 143, 206 | | Krantz S. — Mathematical apocrypha redux | 85, 181, 195 | | Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 1 | 3 | | Ward S., Halstead R. — Computation Structures (MIT Electrical Engineering and Computer Science) | 271, 277 | | Wilson R. — Mathematical conversations: selections from The mathematical intelligencer | 49 | | Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years | 21, 23—24, 128, 145—147 | | Krantz S. — Mathematical Apocrypha Redux: More Stories and Anecdotes of Mathematicians and the Mathematical (Spectrum) (Spectrum) | 85, 181, 195 | | Успенский В.А. — Труды по нематематике. Том 1. | 214, 217, 283, alias "Чёрч" | | Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science | 107 | | Успенский В.А. — Труды по нематематике | 214, 217, 283, see «Чёрч» |
|
|
|
|
О проекте