Number of the records: 1
Logic for computer scientists
Title statement Logic for computer scientists / Uwe Schöning Personal name Schöning, Uwe, 1955- (author) Publication New York : Springer Science+Business Media, LLC, 1989 Phys.des. 166 stran : ilustrace Edition Progress in computer science and applied logic ; volume 8 Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Subj. Headings symbolická logika symbolic logic * matematická logika mathematical logic * logické programování logic programming Form, Genre monografie monographs Conspect 510 - Obecné úvahy o matematice UDC 164.01 , 510.6 , 004.42.047 , (048.8) Country Spojené státy americké Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M1/3518 (PřF) 3134044883 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1