Revision as of 11:47, 31 October 2011 edit CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits m →References: Keep the original citation formatting ← Previous edit		Revision as of 23:00, 22 February 2012 edit undo Cydebot (talk \| contribs) 6,812,251 edits m Robot - Moving category Mathematical constructivism to Category:Constructivism (mathematics) per CFD at Wikipedia:Categories for discussion/Log/2012 February 15. Next edit →
Line 62: * [[Solomon Feferman\|Feferman, S]] (1992) ''[http://citeseer.ist.psu.edu/feferman92what.html What rests on what? The proof-theoretic analysis of mathematics]''. Invited lecture, 15th int'l Wittgenstein symposium. [[Category:~~Mathematical~~Constructivism ~~constructivism~~(mathematics)]] [[Category:Formal theories of arithmetic]]

Primitive recursive arithmetic: Difference between revisions