Počet záznamů: 1  

Completeness theory for propositional logics

  1. Údaje o názvuCompleteness theory for propositional logics / Witold A. Pogorzelski, Piotr Wojtylak
    Osobní jméno Pogorzelski, Witold, 1895-1963 (autor)
    Vyd.údajeBasel : Birkhäuser, c2008
    Fyz.popisviii, 178 s.
    ISBN978-3-7643-8517-0 (brož.)
    EdiceStudies in universal logic
    Poznámky o skryté bibliografii a rejstřícíchObsahuje bibliografii a rejstřík
    Dal.odpovědnost Wojtylak, Piotr (autor)
    Předmět.hesla Gödelovy věty * výroková logika propositional calculus * matematická logika mathematical logic
    Forma, žánr monografie monographs
    Konspekt510 - Obecné úvahy o matematice
    MDT 510.633 , 510.6 , (048.8)
    Země vyd.Švýcarsko
    Jazyk dok.angličtina
    Druh dok.Knihy
    SignaturaČár.kódLokaceDislokaceInfo
    M1/1551 (PřF)3134040739PřFPřF, KMI – Bc. Kolovratníkovápouze prezenčně