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