• ВХОД

    •  

    Полное описание

    510.7/K69-448404
     Kohlenbach, U. Applied proof theory: proof interpretations and their use in mathematics / U. Kohlenbach. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Springer monographs in mathematics, ISSN 1439-7382). - URL: http://dx.doi.org/10.1007/978-3-540-77533-1. - ISBN 978-3-540-77533-1.
    ГРНТИ УДК
    27.03.19510.7
    03.91

    Кл.слова (ненормированные): теория доказательств
    Доп. точки доступа:
    SpringerLink (Online service)
    Экз-ры полностью 510.7/K69-448404
    http://dx.doi.org/10.1007/978-3-540-77533-1



    Просмотр издания