Constructive order types

Detalhes bibliográficos
Autor principal: Crossley, John N.
Formato: Livro
Idioma:English
Publicado em: Amsterdam North-Holland Publishing Company 1969
coleção:Studies in logic and the foundations of mathematics