Formal Science – Mathematics and Logic Logic Mathematics Mathematical logic Mathematical statistics Theoretical computer science