| Êíèãà | Ñòðàíèöû äëÿ ïîèñêà |
| Kharazishvili A.B. — Strange functions in real analysis | |
| Arveson W. — An Invitation to C-Algebras | 75, 79 |
| Kedlaya K.S., Poonen B., Vakil R. — The William Lowell Putnam Mathematical Competition 1985–2000: Problems, Solutions, and Commentary | 112 |
| Bartle R.G. — The Elements of Real Analysis | 26 |
| Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 33.B 34.A |
| Dodge C.W. — Sets, logic & numbers | 279 |
| Pollard D. — Convergence of Stochastic Processes | 65, 86 |
| Allen R.L., Mills D.W. — Signal analysis. Time, frequency, scale and structure | 164—165 |
| Eisenbud D., Harris J. — The Geometry of Schemes | 12 |
| Hoffman K., Kunze R. — Linear algebra | 400 |
| Cameron P.J. — Combinatorics : Topics, Techniques, Algorithms | 309, 311—312, 318, 323 |
| Lueneburg H. — Tools and fundamental constructions of combinatorial mathematics | 352, 358, 371 |
| Kneebone G.T. — Mathematical Logic and the Foundation of Mathematics | 101, 116, 130, 245, 289, 294, 301, 303, 389, 396 |
| Becker T., Weispfenning V. — Groebner bases and commutative algebra | 141 |
| Rudin W. — Real and Complex Analysis | 392 |
| Adamek J., Herrlich H., Stecker G.E. — Abstract and Concrete Categories - The Joy of Cats | 2.3, 9A |
| Pareigis B. — Categories and functors | 18, 20, 200, 254 |
| MacLane S., Moerdijk L. — Sheaves in Geometry and Logic | 275, 291ff, 332, 344 Ex. 5 |
| Vaeth M. — Volterra and integral equations of vector functions | 15, 74, 110, 125, 129, 144, 145, 235 |
| Reid M. — Undergraduate commutative algebra | 25, 26, 36, 50, 56 |
| Lee J.M. — Introduction to Topological Manifolds | 346 |
| Folland J.B. — Real Analysis: Modern Techniques and Their Applications | 6 |
| Rotman J.J. — An Introduction to the Theory of Groups | 481 |
| Manin Yu.I. — A Course in Mathematical Logic | 47, 135 |
| Heikkila S., Lakshmikantham V. — Monotone Iterative Techniques for Discontinuous Nonlinear Differential Equations | 6 |
| Dodge C.W. — Foundations of algebra and analysis | 279 |
| Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra | 60, 103n20, 164, 530, 534 |
| Small Ch.G. — Functional Equations and how to Solve Them | 93, 96 |
| Marchisotto E.A., Smith J.T. — Legacy of Mario Pieri in Geometry and Arithmetic | 315, 360 |
| Grillet P.A. — Abstract Algebra | 628, 628—631 |
| Halmos P.R., Givant S. — Logic as Algebra | 73 |
| Lorenz F., Levy S. — Algebra, Volume I: Fields and Galois Theory | 39 |
| Scheinerman E.R., Ullman D.H. — Fractional graph theory: a rational approach to the theory of graphs | 74 |
| Dudley R.M., Fulton W. (Ed) — Real Analysis and Probability | 18—22, 514, 518 |
| Enderton H.B. — Elements of set theory | see Choice axiom |
| Wise G.L., Hall E.B. — Counterexamples in Probability and Real Analysis | vii, 33 |
| Connell E.H. — Elements of abstract and linear algebra | 10 |
| Ellis G. — Rings and Fields | 11 |
| Barr M., Wells C. — Toposes, Triples and Theories | 242 |
| Goldblatt R. — Topoi | 290—301, 312 |
| Yandell B. — The Honors Class: Hilbert's Problems and Their Solvers | 52, 64, 67—70, 77, 80, 83—84, 166 |
| Berberian S.K. — Fundamentals of Real Analysis | 13 |
| Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel | 109, 115,117, 321, 326, 328 |
| Kline M. — Mathematical Thought from Ancient to Modern Times, Vol. 1 | 1002, 1186, 1209 |
| Wapner L. — The Pea and the Sun: A Mathematical Paradox | xiii, 13, 21, 23, 28, 32, 34, 36, 37, 38, 41, 45, 46, 79, 95, 110, 111, 132, 134, 151, 165, 170, 175, 192, 196 |
| Sierpinski W. — Cardinal and ordinal numbers | 92 |
| Graham R.L., Rothschild B.L., Spencer J.H. — Ramsey Theory | 14, 15, 88, 154, 157, 180 |
| Marker D. — Model theory: An introduction | 315 |
| Lang S. — Undergraduate Algebra | 358 |
| Milewski E.G. — Topology Problem Solver | 7—1 |
| Boas R.P. — A Primer of Real Functions | xi, 200 |
| Kline M. — Mathematical Thought from Ancient to Modern Times, Vol. 3 | 1002, 1186, 1209 |
| Ito K. — Encyclopedic Dictionary of Mathematics | 33.B, 34.A |
| Singer I.M., Thorpe J.A. — Lecture Notes on Elementary Topology and Geometry | 4 |
| Bichteler K. — Integration - a functional approach | 66 |
| Rudin W. — Real and complex analysis | 396 |
| Dieudonne J. — Foundation of Modern Analysis | 1.4 |
| Kline M. — Mathematical Thought from Ancient to Modern Times, Vol. 2 | 1002, 1186, 1209 |
| Borceux F. — Handbook of Categorical Algebra 3 | 447 |
| von zur Gathen J., Gerhard J. — Modern computer algebra | 58 |
| Jacobs B. — Categorical Logic and Type Theory | 47, 50, 106, 708 |
| Kolmogorov A.N., Fomin S.V. — Introductory real analysis | 27 |
| Bingham N.H., Goldie C.M., Teugels J.L. — Regular variation | 2 |
| Johnstone P.T. — Sketches of an Elephant: A Topos Theory Compendium | D4.5.1(b), D4.5.4 |
| Hu S.-T. — Elements of real analysis | 13, 21 |
| Munkres J. — Topology | 59 |
| Billingsley P. — Probability and Measure | A8, 18 |
| Janich K. — Topology | 171 |
| Hu S.-T. — Elements of general topology | 1, 65 |
| Barwise J. (ed.) — Handbook of Mathematical Logic | 335f, 347, 454, 463 |
| Aczel J., Dhombres J. — Functional equations in several variables with applications to mathematics, information theory and to the natural and social sciences | 371 |
| Hazewinkel M. — Handbook of Algebra (part 2) | 31, 677 |
| Conway J.H. — The Book of Numbers | 274-275 |
| Scott M.L. — Programming Language Pragmatics | 645 |
| Holz M., Podewski K.-P., Steffens K. — Injective Choice Functions | 14 |
| Smullyan R.M., Fitting M. — Set theory and the continuum problem | 8, 222 |
| Simmons G.F. — Introduction to topology and modern analysis | 46 |
| Jerry Shurman — Geometry of the Quintic | 136 |
| Mirsky L. — Transversal theory. An account of some aspects of combinatorial mathematics | 8, 18, 19, 23 |
| Zeidler E. — Nonlinear Functional Analysis and Its Applications: Part 1: Fixed-Point Theorems | 747 |
| Mac Lane S., Birkhoff G.D. — Algebra | 8 |
| Lackzovich M. — Conjecture and Proof | 75 |
| Saxe K. — Beginning functional analysis | 154, 159 |
| Birknoff — Lattice Theory | 42ff |
| Hellman H. — Great Feuds in Mathematics: Ten of the Liveliest Disputes Ever | 4—5, 145, 149—150, 153, See also "Zermelo, Ernst" |
| Dieudonne J. — Foundation of Modern Analysis | 1.4 |
| Hungerford T.W. — Algebra | 13 |
| Gentzen G. — The collected papers of Gerhard Gentzen | 214, 217, 221 |
| Walley P. — Statistical reasoning with imprecise probabilities | 505, 611 |
| Ore O. — Theory of Graphs | 92 |
| Moh T.T. — Algebra | 2, 4 |
| Katznelson I., KatznelsonY.R. — A (Terse) Introduction to Linear Algebra (Student Mathematical Library) | 20 |
| Fraisse R. — Theory of Relations | 1.1.8 |
| Bridges D.S. — Foundations Of Real And Abstract Analysis | 299 |
| Browder A. — Mathematical Analysis: An Introduction | 217, 218 |
| Eisenbud D., Harris J. — The geometry of schemes (textbook draft) | 12 |
| Rota G.-C. — Studies in combinatorics (MAA Studies in Mathematics, volume 17) | 146 |
| Rogosinski W.W. — Volume and integral | 1.14, 3.9 |
| Adams P.W., Smith K., Výborný D. — Introduction to Mathematics with Maple | 236 |
| Gallavotti G. — Statistical Mechanics | 42, 156 |
| Kreyszig E. — Introductory functional analysis with applications | 211 |
| Klaas G., Leedham-Green C.R., Plesken W. — Linear Pro-p-Groups of Finite Width | R.4.10 |
| David O.Tall — Advanced Mathematical Thinking | 163 |
| Rosenfeld A. — An introduction to algebraic structures | 10, 36 |
| Aliprantis C. — Principles of real analysis | 7 |
| Gleason A. — Fundamentals of Abstract Analysis | 148ff, 154 |
| Semadini Z. — Banach Spaces of Continuous Functions. Vol. 1 | 21, 181 |
| Birkhoff G., Mac Lane S. — A Survey of Modern Algebra | 129, 384 |
| Chang C.C., Keisler H.J., Troelstra A.S. — Model Theory | 584, 593 |
| Hille E. — Methods in classical and functional analysis | 163 |
| Lin Y. — General Systems Theory: A Mathematical Approach | 62 |
| Munkres J.R. — Topology: A First Course | 59 |
| Borovik A.V. — Mathematics under the microscope | 104, 143 |
| McShane E.J., Botts T.A. — Real Analysis | 29ff, 230ff |
| Kuratowski K. — Introduction To Set Theory & Topology | 45 |
| Gelbaum B.R. — Problems in Real and Complex Analysis | s 4.2. 243 |
| Hilbert D., Ackermann W. — Principles of mathematical logic | 130, 156 |
| Loomis L.H. — An introduction to abstract harmonic analysis | 2 |
| Weaver N. — Lipschitz Algebras | 4 |
| Kuttler K.L. — Modern Analysis | 1—2, 169 |
| Shick P.L. — Topology: Point-set and geometric | 31, 34—35 |
| Hewitt E., Stromberg K. — Real and abstract analysis: a modern treatment of the theory of functions of a real variable | 12 |
| Moh T.T. — Algebra | 2, 4 |
| Kunen K. — Set theory | 15 |
| Gries D. — A Logical Approach to Discrete Math | 209 |
| Lane S.M. — Mathematics, form and function | 366, 401 |
| Hinman P.G. — Fundamentals of Mathematical Logic | 71, 127, 183, 224, 228, 456, 510, 516, 526, 604, 623 |
| Howes N.R — Modern Analysis and Topology | 77 |
| Bear H.S. — A Primer of Lebesgue Integration | 37 |
| Ponstein J. — Nonstandart Analysis | 15, 34, 40, 45, 139 |
| Curry H.B. — Foundations of Mathematical Logic | 13, 23 |
| Hille E., Phillips R.S. — Functional Analysis and Semi-Groups | 3 |
| Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 219, 232, 288 |
| Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 347, 352, 367, 379, 717, see also "Dependent choice" |
| Herstein I.N. — Topics in algebra | 138, 367 |
| Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science | 474 |
| Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory | see "AC" |
| Kaplansky I. — Infinite Abelian Groups | 7, 15 |
| Kharazishvili A.B. — Nonmeasurable Sets and Functions | 2 |
| Bertsekas D.P., Shreve S.E. — Stochastic Optimal Control: The Discrete-Time Case | 301 |
| Abhyankar S.S. — Lectures on Algebra Volume 1 | 33, 44—52, 603—605 |
| De Barra G — Measure theory and integration | 17, 42 |
| Heinonen J. — Lectures on Analysis on Metric Spaces | 3 |
| Stillwell J. — Mathematics and its history | 318—320, 330 |
| Elliott Mendelson — Introduction to mathematical logic | 9, 210 |
| Ivanov O.A. — Easy as Pi?: An Introduction to Higher Mathematics | 170 |
| Anderson F.W., Fuller K.R. — Rings and Categories of Modules | 2 |
| Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | 2, 156, 161, 184, 190, 193, 199, 200, 202 |
| Scheinerman E.A. — Mathematics: A Discrete Introduction | 467 |
| Cheney W. — Analysis for Applied Mathematics | 31 |
| Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext) | 90 |
| Golan J.S. — The Linear Algebra a Beginning Graduate Student Ought to Know (Texts in the Mathematical Sciences) | 3 |
| Curry H.B. — Foundations of mathematical logic | 13, 23 |
| Fritsch R., Piccinini R. — Cellular Structures in Topology (Cambridge Studies in Advanced Mathematics 19) | 31 |
| Mac Lane S. — Mathematics: Form and Function | 366, 401 |
| Shoenfield J.R. — Mathematical Logic | 253 |
| Kline M. — Mathematical thought from ancient to modern times | 1002, 1186, 1209 |
| Steen S. — Mathematical Logic | 181, 183, 198, 204, 205, 555 |
| Barnes D., Mack J. — An Algebraic Introduction to Mathematical Logic | 55, 57 |
| Truss J.K. — Foundations of Mathematical Analysis | 22, 32, 132, 300, 315, 326 |
| Truss J. — Foundations of mathematical analysis | 22, 32, 132, 300, 315, 326 |
| J. K. Truss — Foundations of mathematical analysis MCet | 22, 32, 132, 300, 315, 326 |
|
|
Î ïðîåêòå