математическая логика

Mathematical logic, mathematics of logic, logic theory