Turkum:Matematik mantiq
Qiyofa
Ostturkumlar
Quyida ushbu turkumga kiruvchi 10 ta ostturkumdan 10 tasi koʻrsatilgan.
F
- Formal tillar (boʻsh)
H
- Hisoblanuvchanlik nazariyasi (boʻsh)
I
- Informatikada mantiq (boʻsh)
- Isbotlar nazariyasi (boʻsh)
K
M
- Matematik mantiqchilar (boʻsh)
- Matematika asoslari teoremalari (boʻsh)
- Modellar nazariyasi (boʻsh)