Švejdar, Vítězslav, 1954-
Logika : neúplnost, složitost a nutnost / Vítězslav Švejdar. -- Vyd. 1. -- Praha : Academia, 2002. -- 464 s. -- Lit. -- Rejstř. -- ISBN : 802001005X.
Akademie věd České republiky (Praha)
algoritmy. informatika. logika. matematická logika. programování. logické systémy
510.6