1
Published 2000
Springer Netherlands
... as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm...