1990], Reflections on Hilbert’s program, Acting and reflecting (0)

by Wilfrid Sieg