Independent Recursive Axiomatizability in Arithmetic

Proceedings of the American Mathematical Society - United States
doi 10.1090/s0002-9939-1969-0256878-0
Full Text
Abstract

Available in full text

Date
Authors
Publisher

American Mathematical Society (AMS)


Related search