The Use of Trustworthy Principles in a Revised Hilbert’s Program - Anton Setzer (Springer, 2015)