Deduction-preserving "Recursive Isomorphisms" between theories
Tom 61 / 1967
Fundamenta Mathematicae 61 (1967), 141-163
DOI: 10.4064/fm-61-2-141-163
