Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
1 212
informatika
884
umělá inteligence
580
počítače
427
softwarové inženýrství
402
programovací jazyky
318
programování
292
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