Making it Formally Explicit - Hofer-Szabó, Gábor; Wroński, Leszek; Wroński, Leszek (Springer International Publishing, 2017)