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

Call number	Barcode	Location	Sublocation	Info
M1/3518 (PřF)	3134044883	PřF	PřF, KMI – Bc. Kolovratníková	In-Library Use Only

citace PRO

Number of the records: 1