Set theory with type restrictions

N.G. Bruijn, de

Set theory with type restrictions

N.G. Bruijn, de

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

1 Citation (Scopus)

66 Downloads (Pure)

Abstract

No abstract.

Original language	English
Title of host publication	Selected Papers on Automath
Editors	R.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
Place of Publication	Amsterdam
Publisher	North-Holland Publishing Company
Pages	841-847
ISBN (Print)	0-444-89822-0
Publication status	Published - 1994

Publication series

Name	Studies in logic and the foundations of mathematics
Volume	133
ISSN (Print)	0049-237X

Access to Document

597614Final published version, 435 KB

Cite this

@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

Abstract

Publication series

Access to Document

Fingerprint

Cite this