A type-free system extending (ZFC)

John Myhill, Bob Flagg

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	79-97
Number of pages	19
Journal	Annals of Pure and Applied Logic
Volume	43
Issue number	1
DOIs	https://doi.org/10.1016/0168-0072(89)90026-2
State	Published - 12 Jun 1989
Externally published	Yes

ASJC Scopus subject areas

@article{771f477429f3417c845ce8ade5584345,

title = "A type-free system extending (ZFC)",

author = "John Myhill and Bob Flagg",

year = "1989",

month = jun,

day = "12",

doi = "10.1016/0168-0072(89)90026-2",

language = "English",

volume = "43",

pages = "79--97",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - A type-free system extending (ZFC)

AU - Myhill, John

AU - Flagg, Bob

PY - 1989/6/12

Y1 - 1989/6/12

UR - http://www.scopus.com/inward/record.url?scp=0346813349&partnerID=8YFLogxK

U2 - 10.1016/0168-0072(89)90026-2

DO - 10.1016/0168-0072(89)90026-2

M3 - Article

AN - SCOPUS:0346813349

SN - 0168-0072

VL - 43

SP - 79

EP - 97

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1

ER -