Arithmetic with creative definitions by induction
From MaRDI portal
Publication:5822064
DOI10.2307/2268943zbMath0053.20005OpenAlexW2090143005MaRDI QIDQ5822064
Publication date: 1953
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2268943
Related Items
Leśniewski and Russell's Paradox: Some Problems, Bibliography of John Myhill, Arithmetical Predicates and Function Quantifiers, Nicht-Standardmodelle der Zahlentheorie