Search results
- Turing's Ideas in Logic. Cambridge University Press. p. 474. ISBN 978-1-107-04348-0. Thoralf Skolem (1923) "The foundations of elementary arithmetic"...37 KB (7,078 words) - 14:06, 19 August 2024
- University Press. pp. 260–261. doi:10.1017/CBO9781107338579.001. ISBN 978-1-107-04348-0. LCCN 2014000240. OCLC 867717052. S2CID 19315498. Retrieved February...162 KB (15,945 words) - 12:56, 8 September 2024