Počet záznamů: 1
Completeness theory for propositional logics
Údaje o názvu Completeness theory for propositional logics / Witold A. Pogorzelski, Piotr Wojtylak Osobní jméno Pogorzelski, Witold, 1895-1963 (autor) Vyd.údaje Basel : Birkhäuser, c2008 Fyz.popis viii, 178 s. ISBN 978-3-7643-8517-0 (brož.) Edice Studies in universal logic Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Dal.odpovědnost Wojtylak, Piotr (autor) Předmět.hesla Gödelovy věty Gödel’s theorems * výroková logika propositional calculus * matematická logika mathematical logic Forma, žánr monografie monographs Konspekt 510 - Obecné úvahy o matematice MDT 510.633 , 510.6 , (048.8) Země vyd. Švýcarsko Jazyk dok. angličtina Druh dok. Knihy kniha
Signatura Čár.kód Lokace Dislokace Info M1/1551 (PřF) 3134040739 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1