Constructive order types

Библиографические подробности
Главный автор:	Crossley, John N.
Формат:	‌
Язык:	English
Опубликовано:	Amsterdam North-Holland Publishing Company 1969
Серии:	Studies in logic and the foundations of mathematics