Search results
Title Logika neúplnost, složitost a nutnost Author info Vítězslav Švejdar Author Švejdar Vítězslav
Issue data Praha : Academia , 2002. - 464 s. Issue 1. vyd. ISBN 802001005X Keywords neklasické logiky logika - logic výroková logika - propositional calculus algoritmy - algorithms Peanova a Robinsonova aritmetika Language Czech Country Czech Republic systematics 511.3 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 242787 Univerzita Mateja Bela Department of mathematics In-Library Use Only