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