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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Карпенко А.С. — Логики Лукасевича и простые числа22
Cameron P.J. — Combinatorics : Topics, Techniques, Algorithms308
Rips J.L. — The psychology of proof: deductive reasoning in human thinkingviii, 380—382
Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools462
Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers30, 32, 65, 66, 67, 201, 203
Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra10, 51, 72
Levi I. — The enterprise of knowledge424—428
Steinbring H. — Construction of New Mathematical Knowledge in Classroom Interaction: An Epistemological Perspective23, 24, 27, 224
Akmajian A., Demers R.A., Farmer A.K. — Linguistics. An Introduction to Language and Communications234, 235, 257
Brown J.R. — Philosophy of Mathematics: An Introduction to a World of Proofs and Picturesxi, 9—10, 29, 64, 95—102, 109—110, 115, 136, 144, 147, 150, 196
Lad F. — Operational Subjective Statistical Methods. A Mathematical, Philosophical, and Historical Introduction32, 54—55, 62
Kneale M. — Development of Logic403, 413, 426, 427, 435—512, 518, 519, 524, 528, 530, 537, 539, 587, 594, 602, 604, 622, 686, 738
Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving5, 8—9, 29, 778
Gabbay D.M. (ed.), Guenthner F. (ed.) — Handbook of Philosophical Logic (Volume 13)16, 22—24, 26, 62
Stenlund S. — Combinators, λ-Terms and Proof Theory11, 46
Barwise J. (ed.) — Handbook of Mathematical Logic6
Weyl H. — Philosophy of mathematics and natural science11, 12, 35, 230
Gentzen G. — The collected papers of Gerhard Gentzen4, 24, 68
Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics33, 67, 8, 82, 96, 8, 108, 15, 115, 16, 117, 19, 124, 125n, 133, 7, 143, 4, 145, 8, 149, 150n, 177n, 191n, 264, 267
Barwise J. — The Situation in Logic60, 242, 270, 295
Beth E.W. — The foundations of mathematics: A study in the philosophy of sciencepassim
Franzén T. — G #246 del's Theorem: An Incomplete Guide to Its Use and Abuse98, 128
Van Orman Quine W. — Methods of Logicxvii, 12, 17, 166
Cohen M.R., Nagel E. — An Introduction to Logic and Scientific Method113, 146
Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics317, 318, 323, 333, 382, 403—405, 408, 414, 415, 428
Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.3—5, 9, 30, 31, 75, 403, 549, 553, 554, 570, 590—607, 617—626, 630, 631, 633, 634, 685—687, 689, 694, 695, 714, 718, 727, 750, 777, 779, 780
Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory121
Gullberg J. — Mathematics: from the birth of numbers216, 235
Михайлов А.И., Черный А.И., Гиляревский Р.С. — Основы информатики445
Brady J.M. — The theory of computer science: A programming approach94, 223
Steen S. — Mathematical Logic with Special Reference to the Natural Numbers30, 32, 65, 66, 67, 201, 203
Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming18
Keith Devlin — Mathematics: The New Golden Age37—39
Успенский В.А. — Труды по нематематике. Том 1.209, 214, 742, 1306, alias "Фреге"
Steen S. — Mathematical Logic30, 32, 65, 66, 67, 201, 203
Успенский В.А. — Труды по нематематике209, 214, 742, 1306, see «Фреге»
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте