• ВХОД

    •  

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

    Pogorzelski, W. A. Completeness theory for propositional logics / W. A. Pogorzelski, P. Wojtylak ; SpringerLink (Online service). - Basel : Birkhauser, 2008. - on-line. - (Studies in universal logic). - URL: http://dx.doi.org/10.1007/978-3-7643-8518-7. - ISBN 978-3-7643-8518-7

    ГРНТИ УДК
    27.03.19510.633
    03.91

    Кл.слова (ненормированные): ЛОГИКА ВЫСКАЗЫВАНИЙ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
    Доп. точки доступа:
    Wojtylak, P.
    SpringerLink (Online service)

    http://dx.doi.org/10.1007/978-3-7643-8518-7


    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 510.633/P78-621645)

    Шифр в сводном ЭК: aef381e6bfdc048927bbe945e3ce1c79



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