Deduction-preserving &quot;Recursive Isomorphisms&quot; between theories

Instytut Matematyczny Polskiej Akademii Nauk / pl / Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

Marian Pour-El, Saul Kripke Fundamenta Mathematicae 61 (1967), 141-163 DOI: 10.4064/fm-61-2-141-163