Constructive order types

Bibliographic Details
Main Author:	Crossley, John N.
Format:	Book
Language:	English
Published:	Amsterdam North-Holland Publishing Company 1969
Series:	Studies in logic and the foundations of mathematics