| Êíèãà | Ñòðàíèöû äëÿ ïîèñêà |
| Kharazishvili A.B. — Strange functions in real analysis | |
| Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç | 1206 |
| Bartle R.G. — The Elements of Real Analysis | 9 |
| Keisler H.J. — Elementary calculus | 3 |
| Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 33.B 381.B |
| Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction | 246, 250, 251 |
| Kisacanin B. — Mathematical problems and proofs. Combinatorics, Number theory, and Geometry | 7 |
| Dodge C.W. — Sets, logic & numbers | 62, 154, 179, 207 |
| Apostol T.M. — Mathematical Analysis | 33 |
| Cameron P.J. — Combinatorics : Topics, Techniques, Algorithms | 17 |
| Lueneburg H. — Tools and fundamental constructions of combinatorial mathematics | 342 |
| Kneebone G.T. — Mathematical Logic and the Foundation of Mathematics | 170, 171, 232, 294, 299 |
| Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers | 169 |
| Lee J.M. — Introduction to Topological Manifolds | 340 |
| Dodge C.W. — Foundations of algebra and analysis | 62, 154, 179, 207 |
| Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume III: Analysis | 17 |
| Mendelson B. — Introduction to Topology | 13 |
| Wolkenhauser O. — Data Engineering: Fuzzy Mathematics in Systems Theory and Data Analysis | 3, 12, 70, 197, 233 |
| Velleman D.J. — How to Prove It: A Structured Approach | 163—171 |
| Sagan H. — Advanced Calculus of Real-Valued Functions of a Real Variable and Vector-Valued Functions of a Vector Variable | 9 |
| Dudley R.M., Fulton W. (Ed) — Real Analysis and Probability | 5, 508 |
| Enderton H.B. — Elements of set theory | 35—36 |
| Searcid M. — Metric Spaces | 254 |
| Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic | 420, 421 |
| Hrbacek K., Jech T. — Introduction to Set Theory | 17 |
| Goldblatt R. — Topoi | 18 |
| Dugunji J. — Topology | 7 |
| Khuri A.I. — Advanced calculus with applications in statistics | 3 |
| Stone C.J.D. — Course in Probability and Statistics | 7 |
| Hein J.L. — Discrete Mathematics | 32 |
| Spivak M. — Calculus | 47, 54 |
| Royden H.L. — Real Analysis | 7 |
| Milewski E.G. — Topology Problem Solver | 3—5 |
| Royden H.L. — Real Analysis | 7 |
| Boas R.P. — A Primer of Real Functions | 22, 77—80, 91 |
| Szekeres P. — A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry | 7 |
| Ito K. — Encyclopedic Dictionary of Mathematics | 33.B, 381.B |
| Lipschutz S.Ph.D. — Schaum's outline of theory and problems of finite mathematics | 50 |
| Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures | 103 |
| Dieudonne J. — Foundation of Modern Analysis | 1.3 |
| Greenberg M.D. — Advanced engineering mathematics | 1110 |
| Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs | 60 |
| Hein J.L. — Discrete Structures, Logic, and Computability | 31 |
| Hu S.-T. — Elements of real analysis | 36 |
| Munkres J. — Topology | 13 |
| Barwise J. (ed.) — Handbook of Mathematical Logic | 329 |
| D'Angelo J.P., West D.B. — Mathematical Thinking: Problem-Solving and Proofs | 9, 16, 98, 159, 361 |
| Hein J.L. — Theory of Computation: An Introduction | 15 |
| Holz M., Podewski K.-P., Steffens K. — Injective Choice Functions | 13 |
| Smullyan R.M., Fitting M. — Set theory and the continuum problem | 19 |
| Charalambides C.A. — Enumerative Combinatorics | 5 |
| Bóna M. — Introduction to Enumerative Combinatorics | 7 |
| Mac Lane S., Birkhoff G.D. — Algebra | 10 |
| Dieudonne J. — Foundation of Modern Analysis | 1.3 |
| Hungerford T.W. — Algebra | 6 |
| Wilkinson L., Wills G., Rope D. — The Grammar aof Graphics | 27 |
| Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation | 9 |
| Nicholson W.K. — Linear Algebra with Applications | 187 |
| Beaumont R.A., Pierce R.S. — The Algebraic Foundations of Mathematics | 24 |
| Thron W. — Introduction to the theory of functions of a complex variable | 2 |
| Hefferon J. — Linear algebra | A-8 |
| Klaas G., Leedham-Green C.R., Plesken W. — Linear Pro-p-Groups of Finite Width | II.2.1 |
| Hu S.-T. — Introduction to contemporary mathematics | 24 |
| Rosenfeld A. — An introduction to algebraic structures | 5 |
| Aliprantis C. — Principles of real analysis | 6 |
| Gleason A. — Fundamentals of Abstract Analysis | 38 |
| Liu C.L. — Introduction to combinatorial mathematics | 128 |
| Finkbeiner D.T. — Introduction to Matrices and Linear Transformations | 8 |
| Chang C.C., Keisler H.J., Troelstra A.S. — Model Theory | 579 |
| Lin Y. — General Systems Theory: A Mathematical Approach | 10, 22 |
| Munkres J.R. — Topology: A First Course | 13 |
| Kuratowski K. — Introduction To Set Theory & Topology | 39 |
| Cohen L.W., Ehrlich G. — The Structure of the Real Number System | 7 |
| Gries D. — A Logical Approach to Discrete Math | 265 |
| Loomis L.H., Sternberg S. — Advanced calculus | 9 |
| Penney D.E. — Perspectives in Mathematics | 159 |
| Lane S.M. — Mathematics, form and function | 54, 128 |
| Mott J.L., Kandel A., Baker T.P. — Discrete Mathematics For Computer Scientists And Mathematicians | 9 |
| Mott J., Kandel A., Baker T. — Discrete mathematics for computer scientists and mathematicians | 9 |
| Hinman P.G. — Fundamentals of Mathematical Logic | 472, 473, 495, 622 |
| Ponstein J. — Nonstandart Analysis | 48 |
| Behnke H., Bachmann F., Fladt K. — Fundamentals of mathematics. Volume III. Analysis | 17 |
| Intriligator M.D. — Mathematical optimization and economic theory | 452 |
| Daepp U., Gorkin P. — Reading, writing and proving. Close look at mathematics | 98, 106 |
| Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 28, 29, 34, 39, 40, 41, 44, 47, 48, 60, 62, 79, 81, 143, 145, 146, 174, 186, 313, 438, 444 |
| Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 696 |
| Cohen G.L. — A Course in Modern Analysis and Its Applications | 6 |
| Zeidler E. — Oxford User's Guide to Mathematics | 888 |
| Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory | 184, 188 |
| Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction | 152, 176, 248, 252, 253, 282, 284 |
| Elliott Mendelson — Introduction to mathematical logic | 5, 176 |
| Steen S. — Mathematical Logic with Special Reference to the Natural Numbers | 169 |
| Comfort W.W., Negrepontis S. — The Theory of UltraFilters | 2 |
| Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures | 101 |
| Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext) | 89 |
| Jones N.D. — Computability and complexity from a programming perspective | 422 |
| Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 152, 176, 248, 252, 253, 282, 284 |
| D'Angelo J.P., West D.B. — Mathematical thinking: problem-solving and proofs | 9, 16, 98, 159, 361 |
| Apostol T. — Mathematical Analysis, Second Edition | 33 |
| Shoenfield J.R. — Mathematical Logic | 243 |
| Steen S. — Mathematical Logic | 169 |
| Truss J.K. — Foundations of Mathematical Analysis | 2 |
| Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker)) | 17 |
| Truss J. — Foundations of mathematical analysis | 2 |
| J. K. Truss — Foundations of mathematical analysis MCet | 2 |
|
|
Î ïðîåêòå