Elementary function arithmetic: Difference between revisions

Content deleted Content added
some cleanup; probably more would help
m Adding category Category:Conjectures (using HotCat)
Line 9:
*{{citation|first=Harvey|last=Friedman|title=grand conjectures|year=1999|url=http://cs.nyu.edu/pipermail/fom/1999-April/003014.html}}
[[Category:proof theory]]
[[Category:Conjectures]]