Set theory with type restrictions

N.G. Bruijn, de

Set theory with type restrictions

N.G. Bruijn, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

1 Citaat (Scopus)

56 Downloads (Pure)

Samenvatting

No abstract.

Originele taal-2	Engels
Titel	Selected Papers on Automath
Redacteuren	R.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
Plaats van productie	Amsterdam
Uitgeverij	North-Holland Publishing Company
Pagina's	841-847
ISBN van geprinte versie	0-444-89822-0
Status	Gepubliceerd - 1994

Publicatie series

Naam	Studies in logic and the foundations of mathematics
Volume	133
ISSN van geprinte versie	0049-237X

Toegang tot document

597614Definitieve gepubliceerde versie, 435 KB

Citeer dit

@inbook{f080659b33c9499a99f86a63625a59af,

title = "Set theory with type restrictions",

abstract = "No abstract.",

author = "{Bruijn, de}, N.G.",

year = "1994",

language = "English",

isbn = "0-444-89822-0",

series = "Studies in logic and the foundations of mathematics",

publisher = "North-Holland Publishing Company",

pages = "841--847",

editor = "R.P. Nederpelt and J.H. Geuvers and {Vrijer, de}, R.C.",

booktitle = "Selected Papers on Automath",

address = "Netherlands",

}

TY - CHAP

T1 - Set theory with type restrictions

AU - Bruijn, de, N.G.

PY - 1994

Y1 - 1994

N2 - No abstract.

AB - No abstract.

M3 - Chapter

SN - 0-444-89822-0

T3 - Studies in logic and the foundations of mathematics

SP - 841

EP - 847

BT - Selected Papers on Automath

A2 - Nederpelt, R.P.

A2 - Geuvers, J.H.

A2 - Vrijer, de, R.C.

PB - North-Holland Publishing Company

CY - Amsterdam

ER -

Set theory with type restrictions

Samenvatting

Publicatie series

Toegang tot document

Vingerafdruk

Citeer dit