Timeline for Is it possible for a theorem to be constructive only in a non-constructive metatheory?
Current License: CC BY-SA 3.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 29, 2014 at 12:53 | history | edited | user44143 | CC BY-SA 3.0 |
added year of reference
|
Apr 29, 2014 at 12:23 | history | answered | user44143 | CC BY-SA 3.0 |