Mathematical logic : on numbers, sets, structures, and symmetry /: on numbers, sets, structures, and symmetry. ([2018])