Поисковый запрос: (<.>U=510.7<.>) |
Общее количество найденных документов : 7
Показаны документы с 1 по 7 |
1.
|
Вид документа : Однотомное издание Шифр издания : 510.7/P78
Автор(ы) : Pohlers W.
Заглавие : Proof theory [Electronic resource]
: the first step into impredicativity
Выходные данные : Berlin ; Heidelberg : Springer, 2009 Коллективы :
SpringerLink (Online service) Серия: Universitext
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-69319-2: Б.ц.
ГРНТИ : 27.03.19 УДК : 510.7 Ключевые слова (''Своб.индексиров.''): теория доказательств
Найти похожие
|
2.
|
Вид документа : Однотомное издание Шифр издания : 510.7/A28
Автор(ы) : Aigner M., Ziegler G.M.
Заглавие : Proofs from the book [Electronic resource]
. -4th ed. Выходные данные : Berlin ; Heidelberg : Springer, 2010 Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-00856-6: Б.ц.
ГРНТИ : 27.03.19 УДК : 510.7 Ключевые слова (''Своб.индексиров.''): доказательств теория
Найти похожие
|
3.
|
Вид документа : Однотомное издание Шифр издания : 510/A28-650569
Автор(ы) : Aigner M., Ziegler G.M., Quarteroni A.
Заглавие : Proofs from the book [Electronic resource]
Выходные данные : Milano : Springer-Verlag, 2006 Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-8-847-00451-1: Б.ц.
ГРНТИ : 27.03.19 УДК : 510.7 Ключевые слова (''Своб.индексиров.''): теория доказательств
Найти похожие
|
4.
|
Вид документа : Монографическая серия Шифр издания : 510.7/H99-921148
Автор(ы) : Indrzejczak A.
Заглавие : Natural deduction, hybrid systems and modal logics [Electronic resource]
Выходные данные : Dordrecht : Springer, 2010 Коллективы :
SpringerLink (Online service) Серия: Trends in logic; 30
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-90-481-8785-0: Б.ц.
ГРНТИ : 27.03.19 УДК : 510.643 + 510.7 Ключевые слова (''Своб.индексиров.''): естественный вывод--гибридные системы--модальные логики--теория доказательств
Найти похожие
|
5.
|
Вид документа : Однотомное издание Шифр издания : 510.7/K69
Автор(ы) : Kohlenbach U.
Заглавие : Applied proof theory: proof interpretations and their use in mathematics [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2008 Коллективы :
SpringerLink (Online service) Серия: Springer monographs in mathematics, ISSN 1439-7382
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-77533-1: Б.ц.
ГРНТИ : 27.03.19 УДК : 510.7 Ключевые слова (''Своб.индексиров.''): теория доказательств
Найти похожие
|
6.
|
Вид документа : Монографическая серия Шифр издания : 510.7/B35
Автор(ы) : Beck M., Geoghegan R.
Заглавие : The art of proof [Electronic resource]
: basic training for deeper mathematics
Выходные данные : New York, NY : Matthias Beck and Ross Geoghegan, 2010 Коллективы :
SpringerLink (Online service) Серия: Undergraduate texts in mathematics, ISSN 0172-6056; 0
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4419-7023-7: Б.ц.
ГРНТИ : 27.03.19 УДК : 510.7 Ключевые слова (''Своб.индексиров.''): доказательств теория
Найти похожие
|
7.
|
Вид документа : Однотомное издание Шифр издания : 51/A28-164843
Автор(ы) : Aigner M., Ziegler G.M.
Заглавие : Das Buch der Beweise [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2010 Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-02259-3: Б.ц.
ГРНТИ : 27.03.19 УДК : 510.7 Ключевые слова (''Своб.индексиров.''): доказательств теория
Найти похожие
|
|
|