Number of the records: 1
Logical foundations of proof complexity
Title statement Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen Personal name Cook, Stephen Arthur, 1939- (author) Edition statement First paperback edition Publication New York NY : Cambridge University Press, 2014 Phys.des. xv, 479 stran ISBN 978-1-107-69411-8 (brožováno) Edition Perspectives in logic Note Pod názvem: Association for Symbolic Logic Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Nguyen, Phuong, 1977- (author) Another responsib. Association for Symbolic Logic Subj. Headings složitost výpočtu * teorie složitosti complexity theory * matematická logika mathematical logic 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.52 , 510.6 , (075.8) Country Spojené státy americké Language angličtina Document kind Books book
Call number Barcode Location Sublocation Info M1/3376 (PřF) 3134042941 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1