User contributions for 130.39.225.238
Jump to navigation
Jump to search
7 October 2014
- 18:4518:45, 7 October 2014 diff hist +181 Kleene's T predicate →Arithmetical hierarchy current