Web ИРБИС

Базы данных

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

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>U=510.7<.>)

Общее количество найденных документов : 7
Показаны документы с 1 по 7

510.7
K69

Kohlenbach, U.
Applied proof theory: proof interpretations and their use in mathematics [Electronic resource] / U. Kohlenbach. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Springer monographs in mathematics, ISSN 1439-7382). - ISBN 978-3-540-77533-1 : Б. ц.

ГРНТИ	27.03.19
УДК	510.7

Кл.слова (ненормированные):
теория доказательств

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

510.7
B35

Beck, M.
The art of proof [Electronic resource] : basic training for deeper mathematics / M. Beck, R. Geoghegan. - Electronic text data. - New York, NY : Matthias Beck and Ross Geoghegan, 2010. - (Undergraduate texts in mathematics, ISSN 0172-6056 ; 0). - ISBN 978-1-4419-7023-7 : Б. ц.

ГРНТИ	27.03.19
УДК	510.7

Кл.слова (ненормированные):
доказательств теория

См. : Текст издания

Доп.точки доступа:
Geoghegan, R.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

51/A28-164843

Aigner, M.
Das Buch der Beweise [Electronic resource] / M. Aigner, G. M. Ziegler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-02259-3 : Б. ц.

ГРНТИ	27.03.19
УДК	510.7

Кл.слова (ненормированные):
доказательств теория

См. : Текст издания

Доп.точки доступа:
Ziegler, G.M.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

510.7/H99-921148

Indrzejczak, A.
Natural deduction, hybrid systems and modal logics [Electronic resource] / A. Indrzejczak. - Electronic text data. - Dordrecht : Springer, 2010. - (Trends in logic ; 30). - ISBN 978-90-481-8785-0 : Б. ц.

ГРНТИ	27.03.19
УДК	510.643	510.7

Кл.слова (ненормированные):
естественный вывод -- гибридные системы -- модальные логики -- теория доказательств

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

510.7
P78

Pohlers, W.
Proof theory [Electronic resource] : the first step into impredicativity / W. Pohlers. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Universitext). - ISBN 978-3-540-69319-2 : Б. ц.

ГРНТИ	27.03.19
УДК	510.7

510.7
A28

Aigner, M.
Proofs from the book [Electronic resource] / M. Aigner, G. M. Ziegler. - 4th ed. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-00856-6 : Б. ц.

ГРНТИ	27.03.19
УДК	510.7

510/A28-650569

Aigner, M.
Proofs from the book [Electronic resource] / M. Aigner, G. M. Ziegler, A. Quarteroni. - Electronic text data. - Milano : Springer-Verlag, 2006. - ISBN 978-8-847-00451-1 : Б. ц.

ГРНТИ	27.03.19
УДК	510.7

Кл.слова (ненормированные):
теория доказательств

См. : Текст издания

Доп.точки доступа:
Ziegler, G.M.; Quarteroni, A.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)