"Deduction-preserving 'Recursive Isomorphisms' between Theories" (with Marian Boykan Pour-El), "Fundamenta Mathematicae" 61:141-163.
«Deduction-preserving ‘Recursive Isomorphisms’ between Theories» (with Marian Boykan Pour-El), "Fundamenta Mathematicae" 61:141-163.