Primitive recursive arithmetic: Difference between revisions

Revision as of 18:47, 25 August 2023

Revision as of 19:10, 25 August 2023

Line 144:

*{{cite journal

|last= Tait

|first= W.William W.

|authorlink= William W. Tait

|year= 1981

Line 156:

}}

*{{cite webbook

|last= Tait

|first= W.William W.

|authorlink= William W. Tait

|date= June 2012

|year= 2010

|titlechapter= Primitive Recursive Arithmetic and its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections

|title= Epistemology versus Ontology

|url=https://home.uchicago.edu/~wwtx/PRA2.pdf

|pages=161-180

|chapter-url=https://home.uchicago.edu/~wwtx/PRA2.pdf

|doi=10.1007/978-94-007-4435-6_8

}}