Logic شاخهها Model theory Model theory Proof theory Proof theory Foundation for mathematics Foundation for mathematics پایهها Critical Thinking Critical Thinking Classical logic Classical logic Extended logics Extended logics گوییکهای ناآموزگاهی(منطقهای ناکلاسیک) Non-classical logics