| Книга | Страницы для поиска |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 83 |
| Dummit D.S., Foote R.M. — Abstract algebra | 3 |
| Nathanson M.B. — Elementary methods in number theory | 10 |
| Apostol T.M. — Mathematical Analysis | 43 (Ex. 2.2) |
| Cameron P.J. — Combinatorics : Topics, Techniques, Algorithms | 35, 187 |
| Becker T., Weispfenning V. — Groebner bases and commutative algebra | 150 |
| Föllmer H., Schied A. — Stochastic finance | 44, 74 |
| Konar A. — Computational Intelligence | 506 |
| Opechowski W. — Crystallographic and metacrystallographic groups | 6 |
| Artin M. — Algebra | 53 |
| Halmos P.R., Givant S. — Logic as Algebra | 29 |
| Dudley R.M., Fulton W. (Ed) — Real Analysis and Probability | 10 |
| Enderton H.B. — Elements of set theory | 56, 243 |
| Searcid M. — Metric Spaces | 255, 267 |
| Ellis G. — Rings and Fields | 8 |
| Hrbacek K., Jech T. — Introduction to Set Theory | 29 |
| Comtet L. — Advanced Combinatorics. The Art of Finite and Infinate Expansions | 58, 90 |
| Goldblatt R. — Topoi | 28, 61 |
| Dugunji J. — Topology | 15 |
| Berberian S.K. — Fundamentals of Real Analysis | 17, 20 |
| Pugh C.C. — Real Mathematical Analysis | 191 |
| Williamson S. — Combinatorics for computer science | 3 |
| Sipser M. — Introduction to the theory of computation | 9 |
| Royden H.L. — Real Analysis | 22 |
| Polya G. — Problems and Theorems in Analysis: Theory of Functions. Zeros. Polynomials. Determinants. Number Theory. Geometry | VIII 221 147 |
| Royden H.L. — Real Analysis | 22 |
| Szekeres P. — A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry | 8 |
| Howie J.M. (ed.) — An Introduction to Semigroup Theory | 11, 18 |
| Bichteler K. — Integration - a functional approach | 106 |
| Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures | 125 |
| Knuth D.E. — The art of computer programming (Vol. 1. Fundamental algorithms) | 105, 258, 353, see “Ordering” |
| Pedicchio M. C., Tholen W. — Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory | I.14, IV.167 |
| Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing | 6 |
| Jonsson B. — Topics in Universal Algebra | 8 |
| Knuth D.E. — The art of computer programming (vol. 1 Fundаmental algorithms) | 108, 261, 353; see Ordering |
| Ore O., Wilson R.J. — Graphs and Their Uses | 99 |
| Mac Lane S., Birkhoff G.D. — Algebra | 263 |
| Hungerford T.W. — Algebra | 6 |
| Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation | 16 |
| Seymour L. — Schaum's Outline of Theory and Problems of Discrete Math | 33 |
| Klaas G., Leedham-Green C.R., Plesken W. — Linear Pro-p-Groups of Finite Width | II.6.1, R.5.1 |
| Hu S.-T. — Introduction to contemporary mathematics | 30 |
| Gleason A. — Fundamentals of Abstract Analysis | 65 |
| Beth E.W. — The foundations of mathematics: A study in the philosophy of science | 93 |
| Finkbeiner D.T. — Introduction to Matrices and Linear Transformations | 107, 213 |
| Birkhoff G., Mac Lane S. — A Survey of Modern Algebra | 34 |
| Chang C.C., Keisler H.J., Troelstra A.S. — Model Theory | 580 |
| McShane E.J., Botts T.A. — Real Analysis | 27, 40 |
| Gries D. — A Logical Approach to Discrete Math | 273 |
| Lane S.M. — Mathematics, form and function | 14 |
| Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling | 6 |
| Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics | 33 |
| Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 41, 43, 46—49, 85 |
| Szabo M. E. — Algebra of proofs | 4, 229 |
| Abhyankar S.S. — Lectures on Algebra Volume 1 | 37 |
| Elliott Mendelson — Introduction to mathematical logic | 6, 183 |
| Sipser M. — Introduction to the Theory of Computation | 9 |
| Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures | 128 |
| Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 220 |
| Kunen K. — The Foundations of Mathematics | 24 |
| Mezey P.G. — Shape In Chemistry: An Introduction To Molecular Shape And Topology | 57, 142 |
| Apostol T. — Mathematical Analysis, Second Edition | 43 |
| Klein E. — Mathematical methods in theoretical economics | 30 |
| Pallaschke D., Rolewicz S. — Foundations of Mathematical Optimization. Convex Analysis without Linearity | 497 |
| Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker)) | 29 |
|
|
О проекте