Bewijzen in de wiskunde
By: onder redactie van P.W.H. Lemmens.
Contributors: Lemmens. P. W. H.
Series: CWI syllabus ;; 24
Publisher: Centrum voor Wiskunde en Informatica
Published: 1989
Place of publication: Amsterdam
Language: dut
Number of pages: 87
Subjects: Proof theory.; Automatic theorem proving.; AUTOMATH (Formal language)
Notes: Includes bibliographical references.
Table of contents: title: Bewijzen in de wiskunde / A.F. Monna; title: Bewijzen, waarom en hoe / D. van Dalen; title: Machinale verificatie van redeneringen / N.G. de Bruijn.