Philosophical and Mathematical Logic - Harrie de Swart (Springer, 2018)