Constructive order types, II

Journal of Symbolic Logic 31 (4):525-538 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1997

DOI

10.2307/2269687

Other Versions

edition Aczel, P. H. G.; Crossley, John N. (1966) "Constructive order types, III". Archive for Mathematical Logic 9(3-4):112-116

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: John N. Crossley, Recursive equivalence: A survey; John N. Crossley, Recursive equivalence. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-407.
A problem in the theory of constructive order types.Robin O. Gandy & Robert I. Soare - 1970 - Journal of Symbolic Logic 35 (1):119-121.
Review: Richard Montague, J. N. Crossley, M. A. E. Dummett, Set Theory and Higher-Order Logic. [REVIEW]Richard Mansfield - 1975 - Journal of Symbolic Logic 40 (3):459-459.
Constructive order types.John N. Crossley - 1969 - London,: North-Holland Pub. Co..
An unsolved problem in the theory of constructive order types.Alan G. Hamilton - 1968 - Journal of Symbolic Logic 33 (4):565-567.
Review: A. N. Prior, J. N. Crossley, M. A. E. Dummett, Existence in Lesniewski and in Russell. [REVIEW]C. Lejewski - 1975 - Journal of Symbolic Logic 40 (3):458-458.

Analytics

Added to PP
2009-01-28

Downloads
54 (#405,619)

6 months
9 (#519,282)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references