Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
793
informatika
497
umělá inteligence
397
softwarové inženýrství
270
programování
197
programovací jazyky
188
algoritmizace
124
více ...
Bounded arithmetic, propositional logic, and complexity theory
Autor Krajíček, Jan, 1960- Vydáno: 1995
Kniha
A beginner's further guide to mathematical logic
Autor Smullyan, Raymond M., 1919-2017 Vydáno: 2017
Kniha