A Note on the Recursive Unsolvability of Primitive Recursive Arithmetic
Proceedings of the American Mathematical Society - United States
doi 10.2307/2035077
Full Text
Open PDFAbstract
Available in full text
Date
February 1, 1966
Authors
Publisher
JSTOR