Mathematical reasoning and external symbolic systems

From MaRDI portal
Publication:4925876