Translator Disclaimer
January 1967 Deduction-preserving “recursive isomorphisms” between theories
Marian Boykan Pour-El, Saul Kripke
Bull. Amer. Math. Soc. 73(1): 145-148 (January 1967).
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
4 PAGES


SHARE
Vol.73 • No. 1 • January 1967
Back to Top