|
|
 |
| Результат поиска |
Поиск книг, содержащих: Successor
| Книга | Страницы для поиска | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 192, 236 | | Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction | 240 | | Dodge C.W. — Sets, logic & numbers | 139 | | Chagrov A., Zakharyaschev M. — Modal logic | 29, 64 | | Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools | 532 | | Maeder R.E. — Computer science with mathematica | 66, 99, 273, 283, 293 | | Dodge C.W. — Foundations of algebra and analysis | 139 | | Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra | 38, 56, 93, 94 | | Diestel R. — Graph theory | 358 | | Marchisotto E.A., Smith J.T. — Legacy of Mario Pieri in Geometry and Arithmetic | 58, 299, 308, 315—316, 321—322 | | Grillet P.A. — Abstract Algebra | 633, 634 | | Grotschel M., Lovasz L., Schrijver A. — Geometric Algorithms and Combinatorial Optimization | 18 | | Dudley R.M., Fulton W. (Ed) — Real Analysis and Probability | 2—3, 515, 516, 518 | | Simpson S.G. — Mathematical Logic | 15 | | Enderton H.B. — Elements of set theory | 68 | | Hrbacek K., Jech T. — Introduction to Set Theory | 40, 51 | | Kowalski R. — Logic for problem solving | 7 | | Hein J.L. — Discrete Mathematics | 217 | | Rowe N.C. — Artifical intelligence through Prolog | 197, 207, 248 | | Featherstone R. — Rigid Body Dynamics Algorithms | 53, 60, 69, 143, 148, 219 | | Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic | 73, 128 | | Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs | 66, 69, 259 | | Hein J.L. — Discrete Structures, Logic, and Computability | 212 | | Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing | 37 | | Бердж В. — Методы рекурсивного программирования | 107 | | Granas A., Dugundji J. — Fixed Point Theory | 614 | | Troelstra A.S. — Basic proof theory | 8 | | Вraker J.G. — Algorithms and applications in timed discrete event systems | 17, 122 | | Berge C. — Graphs and Hypergraphs | 3 | | Alling N.L. — Foundations of Analysis over Surreal Number Fields | 4.50, 4.51, 4.53 | | Marcja A., Toffalori C. — A Guide to Classical and Modern Model Theory | 47, 263 | | Hein J.L. — Theory of Computation: An Introduction | 83 | | Holz M., Podewski K.-P., Steffens K. — Injective Choice Functions | 17 | | Smullyan R.M., Fitting M. — Set theory and the continuum problem | 45 | | Kreher D.L., Stinson D.R. — Combinatorial Algorithms: Generation, Enumeration and Search | 31, 38, 43, 52, 53, 60, 75 | | Anderson G.A., Granas A. — Fixed Point Theory | 614 | | Seymour L. — Schaum's Outline of Theory and Problems of Discrete Math | 233, 444 | | Hu S.-T. — Introduction to contemporary mathematics | 45 | | Bourgin R.D. — Geometric Aspects of Convex Sets with the Radon-Nikodym Property | 403 | | Hille E. — Methods in classical and functional analysis | 85 | | Lin Y. — General Systems Theory: A Mathematical Approach | 70 | | Diestel R. — Graph Decompositions | 203 | | Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation | 2 | | Cohen L.W., Ehrlich G. — The Structure of the Real Number System | 16 | | Lane S.M. — Mathematics, form and function | 8, 34, 43 | | Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling | 37 | | Hinman P.G. — Fundamentals of Mathematical Logic | 21, 440, 458 | | Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics | 233, 444 | | Daepp U., Gorkin P. — Reading, writing and proving. Close look at mathematics | 351 | | Greenfield J.S. — Distributed Programming Paradigms with Cryptography Applications | 24, 72 | | Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 49, 76—78, 195, 196, 217, 232, 234, 237, 279, 348, 350, 598 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 96, 103, 220, 232, 344, 360, 409, 423, 429, 516 | | Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction | 243, 307 | | Gossett E. — Discrete Math with Proof | A1 | | Elliott Mendelson — Introduction to mathematical logic | 121 | | Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | 203 | | Jones N.D. — Computability and complexity from a programming perspective | 34 | | Mac Lane S. — Mathematics: Form and Function | 8, 34, 43 | | Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 243, 307 | | Shoenfield J.R. — Mathematical Logic | 5, 248 | | Barnes D., Mack J. — An Algebraic Introduction to Mathematical Logic | 54 | | Truss J.K. — Foundations of Mathematical Analysis | 6 | | Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker)) | 40, 51 | | Truss J. — Foundations of mathematical analysis | 6 | | J. K. Truss — Foundations of mathematical analysis MCet | 6 |
|
|
|
|
О проекте