Primitive recursive arithmetic: Difference between revisions

Content deleted Content added

Revision as of 07:38, 15 January 2025 edit David Eppstein (talk \| contribs) Autopatrolled, Administrators 235,586 edits →top: we don't need to add WP:SYN comparing Feferman with Kreisel to use Feferman as a source for this detail ← Previous edit		Latest revision as of 23:13, 6 July 2025 edit undo Citation bot (talk \| contribs) Bots 5,862,596 edits Alter: pages, chapter-url. URLs might have been anonymized. Add: archive-date, archive-url. Formatted dashes. \| Use this bot. Report bugs. \| #UCB_CommandLine
(2 intermediate revisions by 2 users not shown)
Line 139: \|editor-last=van Heijenoort \|editor-link=Jean van Heijenoort \|pages=302–333 ~~\|pp=302-333~~ \|last=Skolem \|first=Thoralf Line 166: \|title= Epistemology versus Ontology \|pages=161–180 \|chapter-url=~~https://web.archive.org/web/20240524221357/~~https://home.uchicago.edu/~wwtx/PRA2.pdf \|doi=10.1007/978-94-007-4435-6_8 \|archive-url= https://web.archive.org/web/20240524221357/https://home.uchicago.edu/~wwtx/PRA2.pdf \|archive-date= 24 May 2024 }}