|
|
 |
| Результат поиска |
Поиск книг, содержащих: Frege, G.
| Книга | Страницы для поиска | | Карпенко А.С. — Логики Лукасевича и простые числа | 22 | | Cameron P.J. — Combinatorics : Topics, Techniques, Algorithms | 308 | | Rips J.L. — The psychology of proof: deductive reasoning in human thinking | viii, 380—382 | | Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools | 462 | | Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers | 30, 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 Algebra | 10, 51, 72 | | Levi I. — The enterprise of knowledge | 424—428 | | Steinbring H. — Construction of New Mathematical Knowledge in Classroom Interaction: An Epistemological Perspective | 23, 24, 27, 224 | | Akmajian A., Demers R.A., Farmer A.K. — Linguistics. An Introduction to Language and Communications | 234, 235, 257 | | Brown J.R. — Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures | xi, 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 Introduction | 32, 54—55, 62 | | Kneale M. — Development of Logic | 403, 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 Solving | 5, 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 Theory | 11, 46 | | Barwise J. (ed.) — Handbook of Mathematical Logic | 6 | | Weyl H. — Philosophy of mathematics and natural science | 11, 12, 35, 230 | | Gentzen G. — The collected papers of Gerhard Gentzen | 4, 24, 68 | | Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics | 33, 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 Logic | 60, 242, 270, 295 | | Beth E.W. — The foundations of mathematics: A study in the philosophy of science | passim | | Franzén T. — G #246 del's Theorem: An Incomplete Guide to Its Use and Abuse | 98, 128 | | Van Orman Quine W. — Methods of Logic | xvii, 12, 17, 166 | | Cohen M.R., Nagel E. — An Introduction to Logic and Scientific Method | 113, 146 | | Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 317, 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 Theory | 121 | | Gullberg J. — Mathematics: from the birth of numbers | 216, 235 | | Михайлов А.И., Черный А.И., Гиляревский Р.С. — Основы информатики | 445 | | Brady J.M. — The theory of computer science: A programming approach | 94, 223 | | Steen S. — Mathematical Logic with Special Reference to the Natural Numbers | 30, 32, 65, 66, 67, 201, 203 | | Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 18 | | Keith Devlin — Mathematics: The New Golden Age | 37—39 | | Успенский В.А. — Труды по нематематике. Том 1. | 209, 214, 742, 1306, alias "Фреге" | | Steen S. — Mathematical Logic | 30, 32, 65, 66, 67, 201, 203 | | Успенский В.А. — Труды по нематематике | 209, 214, 742, 1306, see «Фреге» |
|
|
|
|
О проекте