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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
van der Dries L. — Tame topology and O-minimal structures12
Takeuti G., Zaring W.M. — Introduction to Axiomatic Set Theory4
Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures49
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, 569—572
Gabbay D.M. (ed.), Guenthner F. (ed.) — Handbook of Philosophical Logic (Volume 13)87
Smullyan R.M. — Recursion Theory for Metamathematics26
Copi I.M., Cohen C. — Introduction to logic328, 329
Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures49
Gries D. — The science of programming73
Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming39
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! О проекте