Number of the records: 1
Completeness theory for propositional logics
Title statement Completeness theory for propositional logics / Witold A. Pogorzelski, Piotr Wojtylak Personal name Pogorzelski, Witold, 1895-1963 (author) Issue data Basel : Birkhäuser, c2008 Phys.des. viii, 178 s. ISBN 978-3-7643-8517-0 (brož.) Edition Studies in universal logic Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Wojtylak, Piotr (author) Subj. Headings Gödelovy věty Gödel’s theorems * výroková logika propositional calculus * matematická logika mathematical logic Form, Genre monografie monographs Conspect 510 - Obecné úvahy o matematice UDC 510.633 , 510.6 , (048.8) Country Švýcarsko Language angličtina Document kind Books book
Call number Barcode Location Sublocation Info M1/1551 (PřF) 3134040739 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1