Cultures of Mathematics and Logic by Thomas Müller, Shier Ju, Yun Xie, Benedikt Löwe | Lex | Lex