Apparently, this user prefers to keep an air of mystery about them.
5 Derive by modus ponens $[A\rightarrow(B\rightarrow C)]\rightarrow[(A\rightarrow B)\rightarrow(A\rightarrow C)]$ feb 19 '14
4 Higher order Derivatives. nov 28 '12
1 Proving in a Hilbert system that $\neg A\Rightarrow A$ is a theorem, if assuming $\neg A$ makes it contradictory feb 15 '14
0 What is a good complex analysis textbook? feb 19 '14
0 Fréchet Derivative Bibliography feb 17 '14