Počet záznamů: 1
Údaje o názvu Topology via logic / Steven Vickers Osobní jméno Vickers, Steven (autor) Údaje o vydání 1st pbk. ed. Vyd.údaje Cambridge : Cambridge University Press, 1996 Fyz.popis 200 s. ISBN 0-521-57651-2 (brož.) Edice Cambridge tracts in theoretical computer science ; 5 Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Předmět.hesla matematická logika mathematical logic * logické systémy logical systems * algebraická topologie algebraic topology * počítačová věda computer science Forma, žánr učebnice vysokých škol textbooks (higher) Konspekt 515.1 - Topologie 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 510.6 , 004.312 , 004 , 510.5/.6 , 515.14(075.8) Země vyd. Velká Británie Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M1/1165 (PřF) 3134015867 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně M1/1165a (PřF) 3134037337 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1