%0 Journal Article
%A Marian Pour-El
%A Saul Kripke
%T Deduction-preserving "Recursive Isomorphisms" between theories
%J Fundamenta Mathematicae
%D 1967
%P 141-163
%V 61
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-61-2-141-163/
%R 10.4064/fm-61-2-141-163
%G en
%F 10_4064_fm_61_2_141_163