Boykan and Saul Kripke (1967), “Deduction-preserving “recursive isomorphisms” between theories (0)

by Marian Pour-El
Venue:Fundamenta Mathematicae