Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Model theory



КнигаСтраницы для поиска
Keisler H.J. — Elementary calculus904
Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2276
Girard J.-Y., Taylor P., Lafont Y. — Proofs and Types3
Rips J.L. — The psychology of proof: deductive reasoning in human thinking204—206, 214, 350—352. See also Mental model; Semantics
Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic98
Eisenbud D. — Commutative algebra with a view toward algebraic geometry142
Straubing H. — Finite automata, format logic, and circuit complexity19
Buzaglo M. — Logic of Concept Expansion98—100, 108
Devlin K.J. — Language of Mathematics: Making the Invisible Visible84
Leng M. (ed.), Paseau A. (ed.), Potter M. (ed.) — Mathematical Knowledge93, 94 note, 97, 98, 100—104, 107, 162
Freyd P. — Abelian categories. Introduction to theory of functors91
Ito K. — Encyclopedic Dictionary of Mathematics276
Sparck Jones K., Wilks Y. — Automatic natural language parsing85
Carlson L. — Dialogue Games. An Approach to Discourse Analysisxi, xvii
Gabbay D.M. (ed.), Guenthner F. (ed.) — Handbook of Philosophical Logic (Volume 13)60
Ebbinghaus H.-D., Flum J. — Finite Model Theory26
Hazewinkel M. — Handbook of Algebra (part 2)81, 82, 97, 279, 280
Ramsay A. — Formal Methods in Artificial Intelligence4
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 Mathematics5, 40, 2, 123, 150, 153, 197, 234, 238, 253, 4, 264, 272, 275, 287, 9
Gries D. — A Logical Approach to Discrete Math127
Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic98
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 Years59—63
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте