Number of the records: 1
Title statement Topology via logic / Steven Vickers Personal name Vickers, Steven (author) Edition statement 1st pbk. ed. Issue data Cambridge : Cambridge University Press, 1996 Phys.des. 200 s. ISBN 0-521-57651-2 (brož.) Edition Cambridge tracts in theoretical computer science ; 5 Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Subj. Headings matematická logika mathematical logic * logické systémy logical systems * algebraická topologie algebraic topology * počítačová věda computer science Form, Genre učebnice vysokých škol textbooks (higher) Conspect 515.1 - Topologie 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 510.6 , 004.312 , 004 , 510.5/.6 , 515.14(075.8) Country Velká Británie Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M1/1165 (PřF) 3134015867 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M1/1165a (PřF) 3134037337 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1