Philosophical and Mathematical Logic. 1st ed. - Swart, Harrie de (Springer International Publishing, 2020)