Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
257
umělá inteligence
60
počítače
32
programování
24
matematika
23
teorie důkazů
23
logické programování
19
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