Research Announcement: "Deduction-preserving 'Recursive Isomorphisms' between Theories" (with Marian Boykan Pour-El), "Bulletin of the American Mathematical Society", 73:145-148.
Research Announcement: «Deduction-preserving ‘Recursive Isomorphisms’ between Theories» (with Marian Boykan Pour-El), "Bulletin of the American Mathematical Society", 73:145-148.