| Книга | Страницы для поиска |
| Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь | 72 |
| Jurafsky D., Martin J.H. — Speech and Language Processing | 691 |
| Dodge C.W. — Sets, logic & numbers | 27 |
| Good P.I., Hardin J.W. — Common Errors in Statistics : (and How to Avoid Them) | 19, 73 |
| Bilaniuk S. — A Problem Course in Mathematical Logic (vol. 1) | 16, 43 |
| Rips J.L. — The psychology of proof: deductive reasoning in human thinking | See also Inference rule; Logic; PSYCOP/PSYCOP+; Reasoning; Syllogism |
| Levitz K., Levitz H. — Logic and Boolean Algebra | 52 |
| Lippman S.B., Lajoie J., Moo B.E. — C++ Primer | |
| Dodge C.W. — Foundations of algebra and analysis | 27 |
| Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra | 41 |
| Wolkenhauser O. — Data Engineering: Fuzzy Mathematics in Systems Theory and Data Analysis | 74, 225 |
| Marchisotto E.A., Smith J.T. — Legacy of Mario Pieri in Geometry and Arithmetic | See consequence |
| Kline M. — Mathematics in Western Culture | 26—30, 44—45 |
| Buzaglo M. — Logic of Concept Expansion | 3, 23, 54—57, 59, 60—63, 95 |
| Brown J.R. — Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures | 67, 182 |
| Curien P.-L. — Categorical Combinators, Sequential Algorithms, and Functional Programming | 2.1.1 |
| Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP | 207 |
| Bergmann R., Althoff K.-D., Breen S. — Developing Industrial Case-Based Reasoning Applications | 14 |
| Norman G.R., Streiner D. — Biostatistics: the bare essentials | 205 |
| Schank R.C. — Computer models of thought and language | 16f. |
| Troelstra A.S. — Basic proof theory | 20 |
| Kempthorne O. — Design and Analysis of Experiments, Introduction to Experimental Design, Vol. 1 | 6 — 7 |
| Beth E.W. — The foundations of mathematics: A study in the philosophy of science | v. "Derivation", "Inference", "Natural deduction", "Proof" |
| Chang C.C., Keisler H.J., Troelstra A.S. — Model Theory | 9 |
| Copi I.M., Cohen C. — Introduction to logic | 46, 295—323 |
| Mario Bunge — Foundations of Physics | 72 |
| Van Orman Quine W. — Methods of Logic | 154 |
| Conen W., Neumann G. — Coordination Technology for Collaborative Applications: Organizations, Processes, and Agents | 223 |
| Jeffreys H. — Theory of probability | 1, 3, 17 |
| Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming | 236 |
| Curry H.B. — Foundations of Mathematical Logic | 198 |
| Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 54 |
| Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 246 |
| Rapoport A. — N-person game theory: Concepts and Applications | 12 |
| Bunge M. — Foundations of Physics | 72 |
| Kline M. — Mathematics for the Nonmathematician | 30, 41 ff., 128 |
| Elliott Mendelson — Introduction to mathematical logic | 30 |
| Davis P., Hersh R. — The Mathematical Experience | 47 |
| Bell E.T. — Mathematics: Queen and Servant of Science | 266, 268, 288 |
| Birkhoff G.D., Beatley R. — Basic Geometry | 273—277 |
| Muir J. — Of Men and Numbers: The Story of the Great Mathematicians | 9—10, see also "Axiomatic method and logic" |
| Curry H.B. — Foundations of mathematical logic | 198 |
| Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 76, 77, 128, 283 |
| Russel B. — Principles of Mathematics | 522 |
| Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science | vi |
| Barnes D., Mack J. — An Algebraic Introduction to Mathematical Logic | 15, 31 |
|
|
О проекте