| Êíèãà | Ñòðàíèöû äëÿ ïîèñêà |
| Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç | 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 |
| 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: An Applied Introduction | 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 |
| Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 12, 31, 45, 77 |
| Kunen K. — The Foundations of Mathematics | 118-119 |
| Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 53, 58—61, 67, 69, 71, 76, 113 |
| D'Angelo J.P., West D.B. — Mathematical thinking: problem-solving and proofs | 33 |
| Shoenfield J.R. — Mathematical Logic | 26 |
| Steen S. — Mathematical Logic | 55, 64, 66, 101, 102, 104, 105, 106, 521 |
| Barnes D., Mack J. — An Algebraic Introduction to Mathematical Logic | 14, 30 |
|
|
Î ïðîåêòå