|
|
Электронная библиотека
механико-математического факультета
Московского государственного университета
|
|
|
|
|
| Результат поиска |
Поиск книг, содержащих: Tautology
| Книга | Страницы для поиска | | Кормен Т., Лейзерсон Ч., Ривест Р. - Алгоритмы: построение и анализ | 849 | | Манзон Б.М. - Maple V power edition | 214 | | Ito K. - Encyclopedic Dictionary of Mathematics. Vol. 2 | 411.E | | Grimaldi R.P. - Discrete and combinatorial mathematics. An introduction | 58, 64 | | Dodge C.W. - Sets, logic & numbers | 10 | | Bilaniuk S. - A Problem Course in Mathematical Logic (vol. 1) | 13, 38 | | Cameron P.J. - Combinatorics : Topics, Techniques, Algorithms | 194 | | Kneebone G.T. - Mathematical Logic and the Foundation of Mathematics | 33, 37, 44, 47 | | Gilbert W.J., Nicholson W.K. - Modern Algebra with Applications | 17 | | Steen S.W.P. - Mathematical Logic with Special Reference to the Natural Numbers | 55, 64, 66, 101, 102, 104, 105, 106, 521 | | Manin Yu.I. - A Course in Mathematical Logic | 31, 54 | | Dodge C.W. - Foundations of algebra and analysis | 10 | | Behnke H., Bachmann F., Fladt K. - Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra | 23, 24-25 | | Halmos P.R., Givant S. - Logic as Algebra | 45, 85 | | Velleman D.J. - How to Prove It: A Structured Approach | 23 | | Simpson S.G. - Mathematical Logic | 7, 39 | | Lau D. - Function Algebras on Finite Sets | 106 | | Barwise J., Etchemendy J., Allwein G. - Language, Proof and Logic | 94, 97, 100, 101, 103, 137, 218, 219, 266, 469 | | Goldblatt R. - Topoi | 129 | | Garey M.R., Johnson D.S. - Computers and intractability. A guide to the theory of NP-completeness | 261. | | Kowalski R. - Logic for problem solving | 174, 187 | | Humphreys J.F., Prest M.Y. - Numbers, Groups and Codes | 133 | | Sipser M. - Introduction to the theory of computation | 382 | | Hein J.L. - Discrete Mathematics | 317 | | Lad F. - Operational Subjective Statistical Methods. A Mathematical, Philosophical, and Historical Introduction | 51 | | Rowe N.C. - Artifical intelligence through Prolog | 359 | | Kingston J.H. (ed.) - An Introduction to Computer Programming with Java | 129 | | Ito K. - Encyclopedic Dictionary of Mathematics | 411.E | | Kolman B., Busby R.C., Cutler S.C. - Discrete Mathematical Structures | 54 | | Tanimoto S.L. - The elements of artificial intelligence. An introduction using LISP | 110 | | Monk J.D. - Mathematical Logic | 121, 169 | | Newman J.R. (ed.) - The World of Mathematics, Volume 4 | 1683-1684, 1733-1736, 1744, 1927 | | Knuth D.E. - The art of computer programming (Vol. 1. Fundamental algorithms) | 346 | | Hein J.L. - Discrete Structures, Logic, and Computability | 313 | | Aho A.V., Ullman J.D. - The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing | 23 | | D'Angelo J.P., West D.B. - Mathematical Thinking: Problem-Solving and Proofs | 33 | | Hein J.L. - Theory of Computation: An Introduction | 120 | | Laird P.D. - Learning from good and bad data | 97 | | Abramsky S., Gabbay D.M., Maibaum T.S.E. - Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 244 | | Fried M.D., Jarden M. - Field Arithmetic | 149 | | Bell E.T. - The Development of Mathematics | 568 | | Reichenbach H. - Philosophic Foundations of Quantum Mechanics | 149, 153 | | Seymour L. - Schaum's Outline of Theory and Problems of Discrete Math | 82 | | Gallavotti G. - Statistical Mechanics | 148 | | Conway J.H. - Regular algebra and finite machines | 34 | | Beth E.W. - The foundations of mathematics: A study in the philosophy of science | 128, 362, cf. "Identity" | | Chang C.C., Keisler H.J., Troelstra A.S. - Model Theory | 8, 24 | | Copi I.M., Cohen C. - Introduction to logic | 287, 305 | | Hilbert D., Ackermann W. - Principles of mathematical logic | 167 | | Mario Bunge - Foundations of Physics | 16 | | Giarratano J.C., Riley G.D. - Expert Systems: Principles and Programming | 84 | | Gries D. - A Logical Approach to Discrete Math | 31 | | Loomis L.H., Sternberg S. - Advanced calculus | 5 | | Lane S.M. - Mathematics, form and function | 370, 373 | | Aho A.V., Ullman J.D. - The Theory of Parsing, Translation, and Compiling. Volume II: Compiling | 23 | | Mott J.L., Kandel A., Baker T.P. - Discrete Mathematics For Computer Scientists And Mathematicians | 38 | | Mott J., Kandel A., Baker T. - Discrete mathematics for computer scientists and mathematicians | 38 | | Hinman P.G. - Fundamentals of Mathematical Logic | 32, 57, 97, 112, 360 | | Lipschutz S., Lipson M.L. - Schaum's outline of theory and problems of discrete mathematics | 82 | | Curry H.B. - Foundations of Mathematical Logic | 26, 59, see also "Classical valuation" | | Kneebone G.T. - Mathematical Logic and the Foundations of Mathematics: An Introductory Survey | 24 | | Ben-Ari M - Mathematical Logic for Computer Science | 24 | | Daepp U., Gorkin P. - Reading, writing and proving. Close look at mathematics | 22, 31-34 | | Partee B.H., Meulen A.T., Wall R.E. - Mathematical Methods in Linguistics | 107, 107, 110, 111, 113, 115, 116, 123, 132, 143, 144, 162, 220, 223, 229, 236, 242, 301, 388, 405, 420-422, 584 | | Suppes P.(ed.) - Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 4, 505 | | Zeidler E. - Oxford User's Guide to Mathematics | 876, 897 | | Grimaldi R.P., Rothman D.J. - Discrete and Combinatorial Mathematics | 53, 58-61, 67, 69, 71, 76, 113 | | Andrews P.B. - A transfinite type theory with type variables | 43 | | Gossett E. - Discrete Math with Proof | 41, 45 | | Jablan S., Sazdanovic R. - LinKnot: knot theory by computer | 448 | | Bunge M. - Foundations of Physics | 16 | | Elliott Mendelson - Introduction to mathematical logic | 16 | | Steen S. - Mathematical Logic with Special Reference to the Natural Numbers | 55, 64, 66, 101, 102, 104, 105, 106, 521 | | Bell E.T. - Mathematics: Queen and Servant of Science | 63, 65 | | Goldblatt R. - Axiomatising the Logic of Computer Programming | 60 | | Andrews P.B. - An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | 17, 19, 20, 34, 175 | | Sipser M. - Introduction to the Theory of Computation | 350 | | Gill A. - Applied Algebra for the Computer Sciences | 122 | | Kolman B., Busby R.C., Ross S. - Discrete Mathematical Structures | 54 | | Rautenberg W. - A Concise Introduction to Mathematical Logic (Universitext) | 14, 50 | | Hill F.J., Peterson G.R. - Computer Aided Logical Design with Emphasis on VLSI | 4, 145 | | Curry H.B. - Foundations of mathematical logic | 26, 59, see also "Classical valuation" | | Gries D. - The science of programming | 14 | | Mac Lane S. - Mathematics: Form and Function | 370, 373 |
|
|
|
|
|
|
|
О проекте