100 years \textit{Grundlagen der Geometrie} -- David Hilbert's decisive contribution to the formalization of mathematics (Q2451693)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 100 years \textit{Grundlagen der Geometrie} -- David Hilbert's decisive contribution to the formalization of mathematics |
scientific article |
Statements
100 years \textit{Grundlagen der Geometrie} -- David Hilbert's decisive contribution to the formalization of mathematics (English)
0 references
4 June 2014
0 references
