Doporučená témata
Obecné úvahy o matematice
matematická logika
10
mathematical logic
10
proof theory
2
set theory
2
teorie důkazu
2
teorie množin
2
computability theory
1
computer science
1
logic
1
logika
1
počítačová věda
1
predicate calculus
1
predikátová logika
1
symbolic logic
1
symbolická logika
1
teorie vyčíslitelnosti
1