Isomorphisms between HEO and HRO (1985)

by M Bezem
Venue:E , ECF and ICF E , Journal of Symbolic Logic