Doporučená témata
Obecné úvahy o matematice
matematická logika
10
mathematical logic
10
proof theory
3
set theory
3
teorie důkazu
3
teorie množin
3
computability theory
2
predicate calculus
2
predikátová logika
2
propositional calculus
2
teorie vyčíslitelnosti
2
výroková logika
2
Učební osnovy. Vyučovací předměty. Učebnice
1
algebraic logic
1
algebraic structures
1
algebraická logika
1
algebraické struktury
1
algorithms
1
algoritmy
1
binární relace
1
computer science
1
logic
1
logika
1
matematické důkazy
1
matematika
1
mathematical proofs
1
mathematics
1
počítačová věda
1
symbolic logic
1
symbolická logika
1