Title: Bewijzen in de wiskunde
Subjects: AUTOMATH (Formal language), Proof theory, Automatic theorem proving