Constructive order types

書誌詳細
第一著者:	Crossley, John N.
フォーマット:	図書
言語:	English
出版事項:	Amsterdam North-Holland Publishing Company 1969
シリーズ:	Studies in logic and the foundations of mathematics