Revision as of 20:59, 8 July 2016 edit Ugog Nizdast (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 30,133 edits m Reverted edits by Ugog Nizdast (talk) to last version by 67.198.37.16 ← Previous edit		Revision as of 23:17, 9 July 2016 edit undo CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits →References: Better link Next edit →
Line 105: \| year = 1961}}. * [[Solomon Feferman\|Feferman, S]] (1992) ''[~~http~~https://~~citeseer~~math.~~ist.psu~~stanford.edu/~~feferman92what~~~feferman/papers/whatrests.~~html~~pdf What rests on what? The proof-theoretic analysis of mathematics]''. Invited lecture, 15th int'l Wittgenstein symposium. [[Category:Constructivism (mathematics)]]

Primitive recursive arithmetic: Difference between revisions