Počet záznamů: 1
Logical foundations of mathematics and computational complexity
Údaje o názvu Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák Osobní jméno Pudlák, Pavel, 1952- (autor) Vyd.údaje [Schwitzerland] : Springer, c2013 Fyz.popis xiv, 695 s. : il. (část. barev.), portréty ISBN 978-3-319-00118-0 (váz.) Edice Springer monographs in mathematics Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii, bibliografické odkazy a rejstříky Předmět.hesla matematická logika mathematical logic * složitost výpočtu Forma, žánr učebnice vysokých škol textbooks (higher) Konspekt 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 510.6 , (075.8) Země vyd. Švýcarsko Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M1/3094 (PřF) 3134037434 PřF PřF, KAG – prof. Chajda pouze prezenčně M1/3094a (PřF) 3134037435 PřF PřF, KAG – Mgr. Botur pouze prezenčně M1/3094b (PřF) 3134042993 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně M1/3094c (PřF) 3134042994 PřF PřF, Knihovna Doba výp. 30 dní
Počet záznamů: 1