Deduction-preserving "Recursive Isomorphisms" between theories Marian Pour-El; Saul Kripke — 1967 Fundamenta Mathematicae