• ВХОД

    •  

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

    510.643-932490
     Indrzejczak, A. Natural deduction, hybrid systems and modal logics / A. Indrzejczak. - Electronic text data. - Dordrecht : Springer, 2010. - (Trends in logic ; 30). - URL: http://dx.doi.org/10.1007/978-90-481-8785-0. - ISBN 978-90-481-8785-0.
    ГРНТИ УДК
    27.03.19510.643
    510.7

    Кл.слова (ненормированные): естественный вывод -- гибридные системы -- модальные логики -- теория доказательств
    Доп. точки доступа:
    SpringerLink (Online service)
    Экз-ры полностью 510.643-932490
    http://dx.doi.org/10.1007/978-90-481-8785-0



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