Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
35
symbolická logika
mathematical logic
29
symbolic logic
29
matematika
6
computability theory
3
computer science
3
více…
filozofie matematiky
3
philosophy of mathematics
3
počítačová věda
3
predicate calculus
3
predikátová logika
3
set theory
3
teorie množin
3
teorie vyčíslitelnosti
3
Zobrazeno 1 - 10
of 35
pro vyhledávání: '"510"'
Vydáno: 1993
„... 510 ...“
Kniha