From Tarski to Hilbert

From MaRDI portal
Publication:2849509