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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
van der Dries L. — Tame topology and O-minimal structures11
Takeuti G., Zaring W.M. — Introduction to Axiomatic Set Theory4
Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures50
Jacobs B. — Categorical Logic and Type Theory223
Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving56—58, 61—63, 318—319, 361—362, 570—571, 585—586
Smullyan R.M. — Recursion Theory for Metamathematics26
Loomis L.H., Sternberg S. — Advanced calculus2
Curry H.B. — Foundations of Mathematical Logic323
Covington M.A., Nute D., Vellino A. — Prolog programming in depth156, 452
Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures50
Curry H.B. — Foundations of mathematical logic323
Gries D. — The science of programming71
Abramsky S., Barwise J., Fine K. — Recursive Functionals. Studies in Logic and the Foundations of Mathematics Volume 13119
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2018
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте