Some diophantine forms of gödel's theorem
Verena H. Dyson, James P. Jones, John C. Shepherdson
DOI: 10.1007/bf02318026
Journal: Archiv für Mathematische Logik und Grundlagenforschung
ivySCI AI Smartly Parses PDF, Answers Researchers' Questions, and Helps You Understand Papers in Seconds
Journal Info
Journals:
ISSN 0003-9268