Logika : neúplnost, složitost a nutnost.

Autor:	Švejdar, Vítězslav
Další autoři:	Akademie věd České republiky
Jazyk:	čeština
Informace o vydání:	Praha : Academia, 2002.
Předmět:	matematická logika logické systémy predikátová logika výroková logika mathematical logic logical systems predicate calculus propositional calculus příručky handbooks and manuals
Vydání:	Vyd. 1.
Druh dokumentu:	Handbooks; Non-fiction
Databáze:	Katalog Knihovny AV ČR
Externí odkaz: