CConstructive Order TypesConstructive Order Typesde Lev D. BeklemishevMateriasComputer science, mathematicsEdiciones (1)Constructive Order Types (2000)Elsevier Science & Technology Books · inglés · ISBN 9780080957753Más obras de Lev D. BeklemishevLogic, Language, Information and ComputationComputer Science -- Theory and ApplicationsFields of Logic and Computation II