Constructive Order Types, I

Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review

Original language	English
Title of host publication	Formal Systems and Recursive Functions
Pages	189-264
Number of pages	76
Volume	40
Edition	C
DOIs	https://doi.org/10.1016/S0049-237X(08)71691-4
Publication status	Published - 1 Dec 1965
Externally published	Yes

Name	Studies in Logic and the Foundations of Mathematics
ISSN (Print)	0049-237X

Access to Document

@inbook{5f8766698b334cedbbc42ce86266d4a8,

title = "Constructive Order Types, I",

author = "Crossley, {John N.}",

year = "1965",

month = dec,

day = "1",

doi = "10.1016/S0049-237X(08)71691-4",

language = "English",

isbn = "978-0-444-53405-7",

volume = "40",

series = "Studies in Logic and the Foundations of Mathematics",

pages = "189--264",

booktitle = "Formal Systems and Recursive Functions",

edition = "C",

}

TY - CHAP

T1 - Constructive Order Types, I

AU - Crossley, John N.

PY - 1965/12/1

Y1 - 1965/12/1

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

U2 - 10.1016/S0049-237X(08)71691-4

DO - 10.1016/S0049-237X(08)71691-4

M3 - Chapter (Book)

AN - SCOPUS:77956967630

SN - 978-0-444-53405-7

VL - 40

T3 - Studies in Logic and the Foundations of Mathematics

SP - 189

EP - 264

BT - Formal Systems and Recursive Functions

ER -