www.springer.com The European Mathematical Society
The following pages link to Recursive equivalence type: