|
|
Результат поиска |
Поиск книг, содержащих: Model theory
Книга | Страницы для поиска | Keisler H.J. — Elementary calculus | 904 | Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 276 | Girard J.-Y., Taylor P., Lafont Y. — Proofs and Types | 3 | Rips J.L. — The psychology of proof: deductive reasoning in human thinking | 204—206, 214, 350—352. See also Mental model; Semantics | Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic | 98 | Eisenbud D. — Commutative algebra with a view toward algebraic geometry | 142 | Straubing H. — Finite automata, format logic, and circuit complexity | 19 | Buzaglo M. — Logic of Concept Expansion | 98—100, 108 | Devlin K.J. — Language of Mathematics: Making the Invisible Visible | 84 | Leng M. (ed.), Paseau A. (ed.), Potter M. (ed.) — Mathematical Knowledge | 93, 94 note, 97, 98, 100—104, 107, 162 | Freyd P. — Abelian categories. Introduction to theory of functors | 91 | Ito K. — Encyclopedic Dictionary of Mathematics | 276 | Sparck Jones K., Wilks Y. — Automatic natural language parsing | 85 | Carlson L. — Dialogue Games. An Approach to Discourse Analysis | xi, xvii | Gabbay D.M. (ed.), Guenthner F. (ed.) — Handbook of Philosophical Logic (Volume 13) | 60 | Ebbinghaus H.-D., Flum J. — Finite Model Theory | 26 | Hazewinkel M. — Handbook of Algebra (part 2) | 81, 82, 97, 279, 280 | Ramsay A. — Formal Methods in Artificial Intelligence | 4 | Prestel A., Delzell C.N. — Positive Polynomials: From Hilbert's 17th Problem to Real Algebra (Springer Monographs in Mathematics) | 110, 201 | Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics | 5, 40, 2, 123, 150, 153, 197, 234, 238, 253, 4, 264, 272, 275, 287, 9 | Gries D. — A Logical Approach to Discrete Math | 127 | Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic | 98 | Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics) | 98 | Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years | 59—63 |
|
|