Hilbert’s new problem (2001)

by L Wos, R Thiele
Venue:Bulletin of the Section of Logic