Modern logic 1850-1950, East and West. (2016)