Constructive order types
By: John n. Crossley.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1969
Place of publication: Amsterdam; London
Number of pages: 225
Subjects: Logic, Symbolic and mathematical
Notes: Bibliography: p.215-216