“Recursive Isomorphism” and Effectively Extensible Theories
Bulletin of the American Mathematical Society
doi 10.1090/s0002-9904-1965-11325-8
Full Text
Open PDFAbstract
Available in full text
Date
May 1, 1965
Authors
Publisher
American Mathematical Society (AMS)