Download PDF - Deduction-preserving "Recursive Isomorphisms" between theoriesAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

Deduction-preserving "Recursive Isomorphisms" between theories

Authors 1, 2

Affiliations

  1. Minneapolis, Minn., U.S.A.
  2. Princeton, N.J., U.S.A.
Fundamenta Mathematicae
1967/61/2
Export to PBN, Opens in new tab
Pages:
141-163
Main language of publication
English
Published
1967
Exact and natural sciences