Hilbert's programs and beyond - Sieg, Wilfried (Logic and computation in philosophy, 2013)