• Skip to main
  • Skip to similar items

Constructive order types.
[By] John N. Crossley.

Description

Tools

Cite this Export citation file
Main Author
Crossley, John N.
Language(s)
English
Published
Amsterdam, North-Holland Pub. Co., 1969.
Subjects
Logic, Symbolic and mathematical
Physical Description
225 p. 23 cm.
Locate a Print Version
Find in a library
Find in a library

Viewability

Item Link Original Source
Limited (search only)   University of Michigan
Limited (search only)   University of California
View HathiTrust MARC record

Similar Items

What is mathematical logic?

Author
Crossley, John N.
Published
1972

Aspects of effective algebra : proceedings of a conference at Monash University, Australia, 1-4 August, 1979

Author
Crossley, John N.
Published
1981

The emergence of number

Author
Crossley, John N.
Published
1980

Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

Author
Crossley, John N.
Published
1975

Extracting programs from proofs by an extension of the Curry-Howard process

Author
Crossley, John N.
Published
1993

Polynomial-time combinatorial operators are polynomials

Author
Crossley, John N.
Published
1990

Chinese mathematics : a concise history

Author
Li, Yan, 1892-1963.
Published
1987

Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

Author
Logic Colloquium (1965 : University of Leicester)
Published
1967

First Australian Conference on the History of Mathematics : proceedings of a conference at Monash University, Clayton, Australia, 6 and 7 November, 1980

Author
Australian Conference on the History of Mathematics. (1st : 1980 : Monash University)
Published
1981

History of mathematics and related sciences : an annotated bibliography of sources held by Monash University Library

Author
Smith, G. C., MA
Published
1992