Content deleted Content added
JamesTMartin (talk | contribs) m →Language and axioms: Fix link. The Substitution section was moved to Rules of Inference in 2009. This link has been broken for 14 years. |
Citation bot (talk | contribs) Alter: journal. Add: doi, jstor, issue. | Use this bot. Report bugs. | Suggested by Anas1712 | Category:Formal theories of arithmetic | #UCB_Category 5/17 |
||
Line 83:
|pages= 263–282
|volume= 63
|issue= 2
|doi= 10.2307/2371522
|jstor= 2371522
}}
Line 96 ⟶ 98:
|pages= 247–261
|volume= 2
|doi= 10.7146/math.scand.a-10412
}}
Line 133 ⟶ 136:
|language= German
|url= https://www.ucalgary.ca/rzach/files/rzach/skolem1923.pdf
|journal= Skrifter
|volume= 6
|pages= 1–38
Line 146 ⟶ 149:
|journal= [[The Journal of Philosophy]]
|volume= 78
|issue= 9
|pages= 524–546
|doi= 10.2307/2026089
|jstor= 2026089
}}
Line 172 ⟶ 177:
|pages= 124–135
|volume= 7
|issue= 7–10
|doi= 10.1002/malq.19610070707
}}
| |||