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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 222.G 31.B 75.D 81.A, r 97.r 354.r 356.A, C, E, G, r
Maeder R.E. — Computer science with mathematica280, 346
Ewald W. — From Kant to Hilbert, Vol.23
Link G. (Ed) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy12n, 13, 435n, 453
Matijasevich Y. — Hilbert's 10th Problem99, 225
Ewald W. — From Kant to Hilbert, Vol.13
Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel100, 101, 106,131,132,131, 267, 324, 327
MacLane S. — Saunders MacLane: A Mathematical Autobiography76, 198, 199, 340, 341
Sipser M. — Introduction to the theory of computation2, 155, 227
Nasar S. — A Beautiful Mind63, 64, 93
Knuth D.E. — The art of computer programming (vol. 2 Seminumerical Algorithms)178
Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braid428, 476, 561
von zur Gathen J., Gerhard J. — Modern computer algebra712
Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic124, 188
Knuth D.E. — The art of computer programming (Vol. 2. Seminumerical algorithms)165
Brookshear J.G. — Computer Science: An Overview507
Lawrence C. Paulson — ML for the working programmer47, 372
Touretzky D.S. — Common LISP: a gentle introduction to symbolic computation106
Ward S.A. — Computation Structures271, 277
Scott M.L. — Programming Language Pragmatics6, 489, 590, 617, 657, 791
Sebesta R.W. — Concepts of programming languages594
Eisenberg M., Abelson H. — Programming in Scheme156
Dewdney A.K. — Beyond reason. 8 great problems that reveal the limits of science69, 173
Ralph P. Boas Jr, Alexanderson G.L., Mugler D.H. — Lion Hunting and Other Mathematical Pursuits126
Copi I.M., Cohen C. — Introduction to logic253
Rucker R. — Mind Tools. The Five Levels of Mathematical Reality225, 237, 245—247
Brookshear J. — Computer Science507
Katz V.J. — A History of Mathematics: An Introduction840
Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 23
Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science411
Derbyshire J. — Prime Obsession: Bernhard Riemann and the greatest unsolved problem in mathematics195
Gossett E. — Discrete Math with Proof576
Sipser M. — Introduction to the Theory of Computation2, 143, 206
Krantz S. — Mathematical apocrypha redux85, 181, 195
Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 13
Ward S., Halstead R. — Computation Structures (MIT Electrical Engineering and Computer Science)271, 277
Wilson R. — Mathematical conversations: selections from The mathematical intelligencer49
Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years21, 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 Science107
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте