Deduction-Preserving “Recursive Isomorphisms” Between Theories
Bulletin of the American Mathematical Society
doi 10.1090/s0002-9904-1967-11689-6
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1967
Authors
Publisher
American Mathematical Society (AMS)