Philosophical and Mathematical Logic - de Swart, Harrie; de Swart, Harrie (Springer International Publishing : Imprint: Springer, 2018)