N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker

From MaRDI portal
Publication:1935352