N.G. de bruijn’s contribution to the formalization of mathematics

Fulltext present in this item

Fulltext: 119907.pdf

Format: PDF

Description: preprint version

Title:	N.G. de bruijn’s contribution to the formalization of mathematics
Author(s):	Geuvers, H. ; Nederpelt, R.
Publication year:	2013
Source:	Indagationes Mathematicae. New Series, vol. 24, iss. 4, (2013), pp. 1034-1049
ISSN:	0019-3577
DOI:	http://dx.doi.org/10.1016/j.indag.2013.09.003
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/119907
Display more details
Subject:	Data Science
Organization:	Software Science
Journal title:	Indagationes Mathematicae. New Series
Volume:	vol. 24
Issue:	iss. 4
Page start:	p. 1034
Page end:	p. 1049

Faculty of Science [26370]
Open Access publications [49210]
Freely accessible full text publications
Electronic publications [76722]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [168098]
Academic output Radboud University