On the Consistency and Undecidability of Recursive Arithmetic
From MaRDI portal
Publication:3845376
DOI10.1002/MALQ.19610070707zbMath0109.01001OpenAlexW2068103792MaRDI QIDQ3845376
Publication date: 1961
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19610070707
Related Items (1)
This page was built for publication: On the Consistency and Undecidability of Recursive Arithmetic