Constructive order types

書目詳細資料
主要作者: Crossley, John N.
格式: 圖書
語言:English
出版: Amsterdam North-Holland Publishing Company 1969
叢編:Studies in logic and the foundations of mathematics