Hacker News Reader

There is a famous "4 theories of truth" classification: Correspondence, Coherence, Consensus and Pragmatic.

In this case they are talking about mathematical truth, which is a case of Coherence truth.

For mathematical truth, there is an example, please search "The Limitations of Euclidean Geometry"

Can you recommend a book that expands on this classification?

I'm not aware of any book about this, but I've read it in several blog posts, like this one: https://commoncog.com/four-theories-of-truth/