|
|
Вид документа : Однотомное издание
Шифр издания : 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
Ключевые слова (''Своб.индексиров.''): теория доказательств
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
|
|