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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Хювёнен Э., Септянен И. — Мир Лиспа. Том 2. Методы и системы программирования246, 248
Stevens J.P. — Applied multivariate statistics for the social sciences412
Jurafsky D., Martin J.H. — Speech and Language Processing549
Rips J.L. — The psychology of proof: deductive reasoning in human thinking57, 66, 67, 351
Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools387, 462
Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers31, 65, 66, 68, 202, 203, 230, 273, 286, 378, 379, 606, 609
Bach E., Shallit J. — Algorithmic Number Theory (том 1)12, 16
Tarski A. — Undecidable theories4, 17, 19, 31, 35, 61f., 89
Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra49
Feynman R.P. — Feynman Lectures on Computation54
Dudley R.M., Fulton W. (Ed) — Real Analysis and Probability505
Burris S., Sankappanavar H.P. — A Course in Universal Algebra271
Papadimitriou C.H. — Computational Complexity51
Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation318, 366
Rockingham G.R. — Deducibility and Decidability45, 60 fn, 66—67, 79, 115
Li M., Vitanyi P. — An introduction to Kolmogorov complexity and its applications24, 35, 41, 51, 53, 87, 149
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP15, 47
Monk J.D. — Mathematical Logic191, 485
Kneale M. — Development of Logic396 n., 495 n., 512, 566 n., 576 n., 602 n., 607 n., 617 n., 725 n., 728 n., 729
Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving351, 775
Neumann J.V. — Theory of Self-Reproducing Automata261—262
Hein J.L. — Discrete Structures, Logic, and Computability713, 754, M5
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing25, 29
Stenlund S. — Combinators, λ-Terms and Proof Theory12, 15, 16, 46, 47, 67, 70, 73, 92, 107
Rasiowa H. — An algebraic approach to non-classical logics (Studies in logic and the foundations of mathematics volume 78)212, 381
Barwise J. (ed.) — Handbook of Mathematical Logic51, 235, 533, 534, 535, 541, 564, 568, 571, 585, 592, 599, 753, 771, 772, 800, 865, 917, 986, 1007, 1092, 1093, 1095, 1096, 1100, 1102, 1106, 1120, 1126
Hazewinkel M. — Handbook of Algebra (part 2)25
Hein J.L. — Theory of Computation: An Introduction399, 442, 551
Young R.M. — Excursions in Calculus: An Interplay of the Continuous and the Discrete52
Gentzen G. — The collected papers of Gerhard Gentzen24, 27, 239, 240, 245, 315, 316
Barwise J. — The Situation in Logicxv
Beth E.W. — The foundations of mathematics: A study in the philosophy of science52, 74f., 200, 202, 226, 230, 253, 297, 303f., 307, 356, 363, 375f., 438, 443, 466, 491, 498, 510, 584ff., 598, 603, 605
Franzén T. — G #246 del's Theorem: An Incomplete Guide to Its Use and Abuse68
Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation176
Van Orman Quine W. — Methods of Logic191, 245
Chandler B., Magnus W. — The history of combinatorial group theory: a case study in the history of ideas182
Wooldridge M. (ed.), Muller J. (ed.), Tambe M. (ed.) — Intelligent Agents II301
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling25, 29
Curry H.B. — Foundations of Mathematical Logic12n., 19—22, 25—27, 42n., 53, 86, 115, 116n., 121, 161, 183—184, 247—250, 253, 288, 294, 306, 308—309, 315, 324, 331n., 354, 356—358, 375
Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics317, 338, 350, 352, 517, 518, 519, 523, 531
Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.146, 358, 391, 415, 416, 419, 420, 422, 433, 434, 437, 440, 442, 476, 686, 688, 694, 695, 711, 714, 727, 730, 741, 755, 758, 774, 775, 777
Ackermann W. — Solvable Cases of the Decision Problem4, 23, 86, 89, 93
Elliott Mendelson — Introduction to mathematical logic42, 59, 171, 219, 239
Brady J.M. — The theory of computer science: A programming approach4, 5, 6, 70, 71, 224, 225, 231, 233
McGettrick A.D. — The Definition of Programming Languages216
Steen S. — Mathematical Logic with Special Reference to the Natural Numbers31, 65, 66, 68, 202, 203, 230, 273, 286, 378, 379, 606, 609
Robinson A. — Introduction to model theory and to the metamathematics of algebra272
Curry H.B. — Foundations of mathematical logic12n., 19—22, 25—27, 42n., 53, 86, 115, 116n., 121, 161, 183—184, 247—250, 253, 288, 294, 306, 308—309, 315, 324, 331n., 354, 356—358, 375
Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming56
Keith Devlin — Mathematics: The New Golden Age135
Лукомская А.М. — Основные иностранные библиографические источники по математике и механике 1931-1957147, 148, 149, 150
Lyndon R., Schupp P. — Combinatorial Group Theory (Classics in Mathematics)217
Nievergelt J., Farrar J.C., Reingold E.M. — Computer approaches to mathematical problems236, 245
Steen S. — Mathematical Logic31, 65, 66, 68, 202, 203, 230, 273, 286, 378, 379, 606, 609
Eves H. — Mathematical Circles Adieu231
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте