Towards a theory of mathematical argument

From MaRDI portal
Publication:2271081