Robles, J. A. J.N. Crossley Et al., What Is Mathematical Logic?. CRHF 2018, 7, 120-122.