Introduction to Formal Philosophy - Sven Ove Hansson, Vincent F. Hendricks (Springer, 2018)