Schöning, Uwe, 1955-
Logic for computer scientists / Uwe Schöning. -- New York : Springer Science+Business Media, LLC, 1989. -- 166 stran : ilustrace. -- (Progress in computer science and applied logic ; volume 8). -- ISBN : (Brožováno) ISBN (invalid) 978-0-8176-4762-9.
symbolická logika. matematická logika. logické programování. monografie
164.01. 510.6. 004.42.047. (048.8)