-
CAPES
by Hermogenes Hebert Pereira Oliveira15 items Last modified September 14, 2011
Recent Activity
When | What | Who | Comment |
---|---|---|---|
September 14, 2011 | Hermogenes Hebert Pereira Oliveira | Added Formal systems and recursive functions to the list. | |
September 14, 2011 | Hermogenes Hebert Pereira Oliveira | Added Intuitionism. to the list. | |
September 14, 2011 | Hermogenes Hebert Pereira Oliveira | Added Identity of proofs to the list. | |
September 14, 2011 | Hermogenes Hebert Pereira Oliveira | Added Proof theory of impredicative subsystems of analysis to the list. | |
September 14, 2011 | Hermogenes Hebert Pereira Oliveira | Added Complexity of proofs and their transformations in axiomatic theories to the list. |