A refinement of De Bruijn's formal language of mathematics

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

Originele taal-2	Engels
Pagina's (van-tot)	287-340
Tijdschrift	Journal of Logic, Language and Information
Volume	13
Nummer van het tijdschrift	3
DOI's	https://doi.org/10.1023/B:JLLI.0000028393.47593.b8
Status	Gepubliceerd - 2004

Toegang tot document

@article{2c64f969c5954649b7f17df6c1c0e08a,

title = "A refinement of De Bruijn's formal language of mathematics",

author = "F. Kamareddine and R.P. Nederpelt",

year = "2004",

doi = "10.1023/B:JLLI.0000028393.47593.b8",

language = "English",

volume = "13",

pages = "287--340",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer",

number = "3",

}

TY - JOUR

T1 - A refinement of De Bruijn's formal language of mathematics

AU - Kamareddine, F.

AU - Nederpelt, R.P.

PY - 2004

Y1 - 2004

U2 - 10.1023/B:JLLI.0000028393.47593.b8

DO - 10.1023/B:JLLI.0000028393.47593.b8

M3 - Article

SN - 0925-8531

VL - 13

SP - 287

EP - 340

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

IS - 3

ER -