A reduction in the number of primitive ideas of arithmetic
From MaRDI portal
Publication:5796581
DOI10.2307/2266972zbMath0038.00602OpenAlexW2049978848MaRDI QIDQ5796581
Publication date: 1950
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2266972
Related Items
Bibliography of John Myhill ⋮ A list of arithmetical structures complete with respect to the first-order definability ⋮ Some theorems on definability and decidability