R. P. Nederpelt

• Logical reasoning
• Selected papers on Automath
• De taal van de wiskunde
• Selected Papers on Automath