Search results
Appearance
- Richard (1991). Models of Peano arithmetic. Oxford University Press. ISBN 0-19-853213-X. Kaye, Richard (Sep 2011). "Tennenbaum's Theorem for Models of Arithmetic"...7 KB (1,081 words) - 10:30, 3 February 2024
- Richard (1991). Models of Peano arithmetic. Oxford University Press. ISBN 0-19-853213-X. Landau, Edmund (1965). Grundlagen Der Analysis. Derives the basic number...48 KB (6,428 words) - 23:25, 3 November 2024