Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.7<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.
Indrzejczak A. Natural deduction, hybrid systems and modal logics/A. Indrzejczak. - 2010
2.
Aigner M. Proofs from the book/M. Aigner, G. M. Ziegler. - 2010
3.
Aigner M. Das Buch der Beweise/M. Aigner, G. M. Ziegler. - 2010
4.
Beck M. The art of proof/M. Beck, R. Geoghegan. - 2010
5.
Pohlers W. Proof theory/W. Pohlers. - 2009
6.
Kohlenbach U. Applied proof theory: proof interpretations and their use in mathematics/U. Kohlenbach. - 2008
7.
Aigner M. Proofs from the book/M. Aigner, G. M. Ziegler, A. Quarteroni. - 2006
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)