R-Calculus, III: Post Three-Valued Logic - Wei Li, Yuefei Sui (Springer, 2022)