|
Электронная библиотека механико-математического факультета Московского государственного университета
|
|
|
![blank](/z.gif) |
Результат поиска |
Поиск книг, содержащих: 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 |
|
|
![blank](/z.gif) |
![HR](/z.gif) |
|