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 Non-classical logics