Pages that link to "Item:Q740481"

The following pages link to N. G. de Bruijn's contribution to the formalization of mathematics (Q740481):

Displaying 1 item.

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