Mantiq fani boʻlimi. U matematika uslublari asosida rivojlantiriladi. Unga fikr (hukm) larni asoslash, isbotlar, mantiqiy xulosalar chiqarish kiradi. Buning uchun matematik mantiqda algebra uslublari va algoritmlar nazariyasi qoʻllaniladi.inglizchamathematical logicruschaматематическая логика
Qidiruv
«matematik mantiq» boʻyicha 1 ta natija: Terminologik