Primitive recursive arithmetic: Difference between revisions

Content deleted Content added
archive ref url, add Feferman quote to clarify citation w preceding sentence
References: add english translation
Line 143:
|pages= 1–38
}}
**{{cite book|chapter=The foundations of elementary arithmetic established by means of the recursive mode of thought, without the use of apparent variables ranging over infinite domains |title=From Frege to Gödel |year=1967 |orig-year=1923 |chapter-url=https://archive.org/details/fromfregetogodel0025unse/page/302/mode/2up |chapter-url-access=limited |editor-first=Jean |editor-last=van Heijenoort |editor-link=Jean van Heijenoort |pp=302-333 |last=Skolem |first=Thoralf}}
 
*{{cite journal
|last= Tait