√лавна€    Ex Libris     ниги    ∆урналы    —татьи    —ерии     аталог    Wanted    «агрузка    ’удЋит    —правка    ѕоиск по индексам    ѕоиск    ‘орум   
ћехмат€нам
square ѕервый курс

square ¬торой курс

square “ретий курс

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

square ѕ€тый курс
blank
јвторизаци€

       
blank
ѕоиск по указател€м

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

ѕоиск книг, содержащих: Boole, George



 нига—траницы дл€ поиска
Apostol T.M. Ч Calculus (vol 1)11
Ito K. Ч Encyclopedic Dictionary of Mathematics. Vol. 233.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 introduction138, 139, 176, 178, 735, 772
Dodge C.W. Ч Sets, logic & numbers85, 105
Coxeter H.S.M. Ч Non-Euclidean Geometry122
Pesic P. Ч Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability132Ч133, 195n
Rosch W. Ч Winn L. Rosch Hardware Bible, Sixth Edition
Dodge C.W. Ч Foundations of algebra and analysis85, 105
Behnke H., Bachmann F., Fladt K. Ч Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra174n
Merris R. Ч Combinatorics422
Ewald W. Ч From Kant to Hilbert, Vol.21, 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, Philosophy507, 509
Buzaglo M. Ч Logic of Concept Expansion19
Ewald W. Ч From Kant to Hilbert, Vol.11, 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 Visible58Ч62
Barwise J., Etchemendy J., Allwein G. Ч Language, Proof and Logic67
Kemeny T., Snell J.L., Thompson G. Ч Introduction to finite mathematics3
Dawson Jh.W. Ч Logical Dilemmas: The Life and Work of Kurt Godel41, 88
Kline M. Ч Mathematical Thought from Ancient to Modern Times, Vol. 1927, 1189Ч1191
Hein J.L. Ч Discrete Mathematics523
Kingston J.H. (ed.) Ч An Introduction to Computer Programming with Java43
Kline M. Ч Mathematical Thought from Ancient to Modern Times, Vol. 3927, 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 Yearbook115, 257, 284, 428, 429
Apostol T.M. Ч Calculus: One-Variable Calculus with an Introduction to Linear Algebra, Vol. 111
Kline M. Ч Mathematical Thought from Ancient to Modern Times, Vol. 2927, 1189Ч1191
von zur Gathen J., Gerhard J. Ч Modern computer algebra633, 701, 726
Brookshear J.G. Ч Computer Science: An Overview36
Hein J.L. Ч Discrete Structures, Logic, and Computability516
Coxeter H.S.M. Ч Regular Polytopes258
Touretzky D.S. Ч Common LISP: a gentle introduction to symbolic computation132
Hein J.L. Ч Theory of Computation: An Introduction105
Auletta G. Ч Foundations and Interpretation of Quantum Mechanics155
Hubbard J.R. Ч Theory and Problems of Programming with C++100
Struik D.J. Ч A concise history of mathematics. Volume 2267
Berkeley E.C. Ч Giant Brains Or Machines That Think152
Hayes D.F. (ed.), Shubin T. (ed.) Ч Mathematical Adventures for Students and Amateurs278
Coxeter H. Ч Regular polytopes258
Copi I.M., Cohen C. Ч Introduction to logic183
Rucker R. Ч Mind Tools. The Five Levels of Mathematical Reality34, 197, 198, 201, 208Ч209
Brookshear J. Ч Computer Science36
Katz V.J. Ч A History of Mathematics: An Introduction651, 686Ч687, 842
Gries D. Ч A Logical Approach to Discrete Math16, 25, 26, 54, 93, 111, 473
Bryant R., O'Hallaron D.R. Ч Computer Systems: A Programmer's Perspective42
Mott J.L., Kandel A., Baker T.P. Ч Discrete Mathematics For Computer Scientists And Mathematicians577
Mott J., Kandel A., Baker T. Ч Discrete mathematics for computer scientists and mathematicians577
Cohen M.R., Nagel E. Ч An Introduction to Logic and Scientific Method112
Ewald W.B. Ч From Kant to Hilbert: A source book in the foundations of mathematics. Volume 21, 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 Logic66n., 158, 161, 246, 307
Bell E.T. Ч Men of mathematics. Volume 2128, 131, 134, 233, 389, 428, 429, 448, 478Ч493, 494, 537
Derbyshire J. Ч Prime Obsession: Bernhard Riemann and the greatest unsolved problem in mathematics18, 225
Zeidler E. Ч Oxford User's Guide to Mathematics907, 1192
Grimaldi R.P., Rothman D.J. Ч Discrete and Combinatorial Mathematics118, 119, 186, 188, 377, 711, 742
Ifrah G., Bellos D. Ч The Universal History of Numbers: From Prehistory to the Invention of the Computer598
Kline M. Ч Mathematics for the Nonmathematician495 f., 498
Muir J. Ч Of Men and Numbers: The Story of the Great Mathematicians222
Burks A.R., Burks A.W. Ч The First Electronic Computer: The Atanasoff Story333
Ewald W.B. Ч From Kant to Hilbert: A source book in the foundations of mathematics. Volume 11, 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 VLSI52
Curry H.B. Ч Foundations of mathematical logic66, 158, 161, 246, 307
Gries D. Ч The science of programming8, 20
Grimaldi R.P. Ч Student Solutions Manual for Discrete and Combinatorial Mathematics118, 119, 186, 188, 377, 711, 742
Kline M. Ч Mathematical thought from ancient to modern times927, 1189Ч1191
Brezinski C. Ч History of Continued Fractions and Padé Approximants193
Alexanderson G. Ч The harmony of the world: 75 years of Mathematics Magazine MPop9, 85, 169, 224
blank
HR
@Mail.ru
© Ёлектронна€ библиотека попечительского совета мехмата ћ√”, 2004-2018
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01!| Valid CSS! ќ проекте