Number of the records: 1
Logical foundations of mathematics and computational complexity
Title statement Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák Personal name Pudlák, Pavel, 1952- (author) Issue data [Schwitzerland] : Springer, c2013 Phys.des. xiv, 695 s. : il. (část. barev.), portréty ISBN 978-3-319-00118-0 (váz.) Edition Springer monographs in mathematics Internal Bibliographies/Indexes Note Obsahuje bibliografii, bibliografické odkazy a rejstříky Subj. Headings matematická logika mathematical logic * složitost výpočtu Form, Genre učebnice vysokých škol textbooks (higher) Conspect 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 510.6 , (075.8) Country Švýcarsko Language angličtina Document kind Books Call number Barcode Location Sublocation Info M1/3094 (PřF) 3134037434 PřF PřF, KAG – prof. Chajda In-Library Use Only M1/3094a (PřF) 3134037435 PřF PřF, KAG – Mgr. Botur In-Library Use Only M1/3094b (PřF) 3134042993 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M1/3094c (PřF) 3134042994 PřF PřF, Knihovna Date due 30 days
Number of the records: 1