|
|
 |
| Ðåçóëüòàò ïîèñêà |
Ïîèñê êíèã, ñîäåðæàùèõ: Boole, George
| Êíèãà | Ñòðàíèöû äëÿ ïîèñêà | | Apostol T.M. — Calculus (vol 1) | 11 | | Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 33.E 42.A-D, r 104.r 156.B 243.E 267 379.J 411.A, r | | Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction | 138, 139, 176, 178, 735, 772 | | Dodge C.W. — Sets, logic & numbers | 85, 105 | | Coxeter H.S.M. — Non-Euclidean Geometry | 122 | | Pesic P. — Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability | 132—133, 195n | | Rosch W. — Winn L. Rosch Hardware Bible, Sixth Edition | | | Dodge C.W. — Foundations of algebra and analysis | 85, 105 | | Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra | 174n | | Merris R. — Combinatorics | 422 | | Ewald W. — From Kant to Hilbert, Vol.2 | 1, 4, 5, 12, 61, 156, 320, 321, 322, 331, 332, 334, 335, 337, 363, 366, 368, 424, 442—509, 510, 511, 572, 574, 577, 579, 582, 597, 598, 608, 613, 614, 615, 622, 623, 634, 636, 644, 753, 838, 958, 1088, 1089 | | Link G. (Ed) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy | 507, 509 | | Buzaglo M. — Logic of Concept Expansion | 19 | | Ewald W. — From Kant to Hilbert, Vol.1 | 1, 4, 5, 12, 61, 156, 320, 321, 322, 331, 332, 334, 335, 337, 363, 366, 368, 424, 442—509, 510, 511, 572, 574, 577, 579, 582, 597, 598, 608, 613, 614, 615, 622, 623, 634, 636, 644 | | Devlin K.J. — Language of Mathematics: Making the Invisible Visible | 58—62 | | Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic | 67 | | Kemeny T., Snell J.L., Thompson G. — Introduction to finite mathematics | 3 | | Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel | 41, 88 | | Kline M. — Mathematical Thought from Ancient to Modern Times, Vol. 1 | 927, 1189—1191 | | Hein J.L. — Discrete Mathematics | 523 | | Kingston J.H. (ed.) — An Introduction to Computer Programming with Java | 43 | | Kline M. — Mathematical Thought from Ancient to Modern Times, Vol. 3 | 927, 1189—1191 | | Lerner K.L., Lerner B.W. — The gale encyclopedia of science (Vol. 6) | 1:595 | | National Council of Teachers of Mathematics — Historical Topics for the Mathematics Classroom Thirty-First Yearbook | 115, 257, 284, 428, 429 | | Apostol T.M. — Calculus: One-Variable Calculus with an Introduction to Linear Algebra, Vol. 1 | 11 | | Kline M. — Mathematical Thought from Ancient to Modern Times, Vol. 2 | 927, 1189—1191 | | von zur Gathen J., Gerhard J. — Modern computer algebra | 633, 701, 726 | | Brookshear J.G. — Computer Science: An Overview | 36 | | Hein J.L. — Discrete Structures, Logic, and Computability | 516 | | Coxeter H.S.M. — Regular Polytopes | 258 | | Touretzky D.S. — Common LISP: a gentle introduction to symbolic computation | 132 | | Hein J.L. — Theory of Computation: An Introduction | 105 | | Auletta G. — Foundations and Interpretation of Quantum Mechanics | 155 | | Hubbard J.R. — Theory and Problems of Programming with C++ | 100 | | Struik D.J. — A concise history of mathematics. Volume 2 | 267 | | Berkeley E.C. — Giant Brains Or Machines That Think | 152 | | Hayes D.F. (ed.), Shubin T. (ed.) — Mathematical Adventures for Students and Amateurs | 278 | | Coxeter H. — Regular polytopes | 258 | | Copi I.M., Cohen C. — Introduction to logic | 183 | | Rucker R. — Mind Tools. The Five Levels of Mathematical Reality | 34, 197, 198, 201, 208—209 | | Brookshear J. — Computer Science | 36 | | Katz V.J. — A History of Mathematics: An Introduction | 651, 686—687, 842 | | Gries D. — A Logical Approach to Discrete Math | 16, 25, 26, 54, 93, 111, 473 | | Bryant R., O'Hallaron D.R. — Computer Systems: A Programmer's Perspective | 42 | | Mott J.L., Kandel A., Baker T.P. — Discrete Mathematics For Computer Scientists And Mathematicians | 577 | | Mott J., Kandel A., Baker T. — Discrete mathematics for computer scientists and mathematicians | 577 | | Cohen M.R., Nagel E. — An Introduction to Logic and Scientific Method | 112 | | Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 2 | 1, 4, 5, 12, 61, 156, 320, 321, 322, 331, 332, 334, 335, 337, 363, 366, 368, 424, 442—509, 510, 511, 572, 574, 577, 579, 582, 597, 598, 608, 613, 614, 615, 622, 623, 634, 636, 644, 753, 838, 958, 1088, 1089 | | Curry H.B. — Foundations of Mathematical Logic | 66n., 158, 161, 246, 307 | | Bell E.T. — Men of mathematics. Volume 2 | 128, 131, 134, 233, 389, 428, 429, 448, 478—493, 494, 537 | | Derbyshire J. — Prime Obsession: Bernhard Riemann and the greatest unsolved problem in mathematics | 18, 225 | | Zeidler E. — Oxford User's Guide to Mathematics | 907, 1192 | | Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction | 118, 119, 186, 188, 377, 711, 742 | | Ifrah G., Bellos D. — The Universal History of Numbers: From Prehistory to the Invention of the Computer | 598 | | Kline M. — Mathematics for the Nonmathematician | 495 f., 498 | | Muir J. — Of Men and Numbers: The Story of the Great Mathematicians | 222 | | Burks A.R., Burks A.W. — The First Electronic Computer: The Atanasoff Story | 333 | | Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 1 | 1, 4, 5, 12, 61, 156, 320, 321, 322, 331, 332, 334, 335, 337, 363, 366, 368, 424, 442—509, 510, 511, 572, 574, 577, 579, 582, 597, 598, 608, 613, 614, 615, 622, 623, 634, 636, 644 | | Hill F.J., Peterson G.R. — Computer Aided Logical Design with Emphasis on VLSI | 52 | | Curry H.B. — Foundations of mathematical logic | 66, 158, 161, 246, 307 | | Gries D. — The science of programming | 8, 20 | | Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 118, 119, 186, 188, 377, 711, 742 | | Kline M. — Mathematical thought from ancient to modern times | 927, 1189—1191 | | Brezinski C. — History of Continued Fractions and Padé Approximants | 193 | | Alexanderson G. — The harmony of the world: 75 years of Mathematics Magazine MPop | 9, 85, 169, 224 | | A. Slomson — An Introduction to Combinatorics | 99 | | Sondheimer E., Rogerson A. — Numbers and Infinity: A Historical Account of Mathematical Concepts | 75 |
|
|
|
|
Î ïðîåêòå