Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
812
informatika
571
umělá inteligence
372
softwarové inženýrství
256
počítače
247
programovací jazyky
209
programování
178
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