| Книга | Страницы для поиска |
| Kharazishvili A.B. — Strange functions in real analysis | |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 1207 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 83 |
| Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 358.A 411.G |
| Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction | 248 |
| MacLane S. — Categories for the working mathematician | 26 |
| Becker T., Weispfenning V. — Groebner bases and commutative algebra | 149 |
| Dummit D.S., Foote R.M. — Abstract Algebra | 3 |
| Velleman D.J. — How to Prove It: A Structured Approach | 182, 242 |
| Enderton H.B. — Elements of set theory | 42 |
| Jahn J. — Introduction to the Theory of Nonlinear Optimization | 249 |
| Burris S., Sankappanavar H.P. — A Course in Universal Algebra | 17, 217 |
| Hrbacek K., Jech T. — Introduction to Set Theory | 19 |
| Comtet L. — Advanced Combinatorics. The Art of Finite and Infinate Expansions | 58 |
| Shoup V.A. — Computational Introduction to Number Theory and Algebra | xv |
| Dugunji J. — Topology | 14 ff. |
| Sipser M. — Introduction to the theory of computation | 8, 9 |
| Hein J.L. — Discrete Mathematics | 42, 178—187 |
| Goutsias J., Vincent L., Bloomberg D.S. — Mathematical morphology and its applications to image signal processing | 100 |
| Szekeres P. — A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry | 7 |
| Ito K. — Encyclopedic Dictionary of Mathematics | 358.A, 411.G |
| Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP | 93, 131 |
| Kolmogorov A.N., Fomin S.V. — Introductory real analysis | see “Relation” |
| Hein J.L. — Discrete Structures, Logic, and Computability | 41, 174—227 |
| Kirillov A.A. — Elements of the Theory of Representations | 2 |
| von Neumann J. — Continuous Geometry | 32 |
| Hu S.-T. — Elements of general topology | 70 |
| Fuhrmann P.A. — A Polynomial Approach to Linear Algebra | 1 |
| Jain A.K., Dubes R.C. — Algorithms for clustering data | 60 |
| Hein J.L. — Theory of Computation: An Introduction | 72—88 |
| Ore O., Wilson R.J. — Graphs and Their Uses | 96 |
| Mac Lane S., Birkhoff G.D. — Algebra | 11, 471 |
| Wilkinson L., Wills G., Rope D. — The Grammar aof Graphics | 27 |
| Shafer G. — The Art of Causal Conjecture | 393 |
| Fraisse R. — Theory of Relations | 1.6 |
| Hyers D.H., Isac G., Rassias T.M. — Stability of functional equations in several variables | 78, 192 |
| Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation | 10 |
| Balakrishnan N., Rao C.R. — Handbook of Statistics (Vol. 17): Order Statistics: Applications | 15, 541 |
| Kreyszig E. — Introductory functional analysis with applications | 618 |
| Aliprantis C. — Principles of real analysis | 7 |
| Gleason A. — Fundamentals of Abstract Analysis | 50 |
| Liu C.L. — Introduction to combinatorial mathematics | 128 |
| Finkbeiner D.T. — Introduction to Matrices and Linear Transformations | 209—210 |
| Birkhoff G., Mac Lane S. — A Survey of Modern Algebra | 34 |
| Cohen L.W., Ehrlich G. — The Structure of the Real Number System | 9 |
| Gries D. — A Logical Approach to Discrete Math | 267 |
| Lane S.M. — Mathematics, form and function | 14 |
| Herstein I.N. — Topics in algebra | 11 |
| Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory | see "Relation" |
| Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction | 250, 337, see also "Relation" |
| Kharazishvili A.B. — Nonmeasurable Sets and Functions | 1 |
| Gossett E. — Discrete Math with Proof | 745 |
| Sachkov V.N. — Combinatorial methods in discrete mathematics | 3 |
| Abhyankar S.S. — Lectures on Algebra Volume 1 | 33, 37 |
| Elliott Mendelson — Introduction to mathematical logic | 6 |
| Bell E.T. — Mathematics: Queen and Servant of Science | 69, 78 |
| Sipser M. — Introduction to the Theory of Computation | 8, 9 |
| Gill A. — Applied Algebra for the Computer Sciences | 27 |
| Gries D. — The science of programming | 315 |
| Mac Lane S. — Mathematics: Form and Function | 14 |
| Jacky J. — The Way of Z: Practical Programming with Formal Methods | 81—88, 98—99, 301, 310—312 |
| Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 250, 337, see also "Relation" |
| Klein E. — Mathematical methods in theoretical economics | 25—30 |
| Truss J.K. — Foundations of Mathematical Analysis | 3 |
| Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker)) | 19 |
| Truss J. — Foundations of mathematical analysis | 3 |
| J. K. Truss — Foundations of mathematical analysis MCet | 3 |