Constructive order types

书目详细资料
主要作者: Crossley, John N.
格式: 图书
语言:English
出版: Amsterdam North-Holland Publishing Company 1969
丛编:Studies in logic and the foundations of mathematics