Revision as of 12:34, 17 May 2009 edit CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits create article		Revision as of 12:37, 17 May 2009 edit undo CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits →References: rm hanging tag Next edit →
Line 37: \| year = 1999 \| pages = 337–405 }}~~</ref>~~ [[Category:Proof theory]]

Primitive recursive functional: Difference between revisions