Timeline for axiom schema versus inference rule
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 21, 2013 at 18:25 | comment | added | sboosali | oh, sorry about that. i read the faq now. | |
| Jan 20, 2013 at 16:33 | comment | added | Colin McLarty | This is not a research level question. A more careful reading of the Wikipedia article should clear up your first question entirely and help you understand the second. You could also look at the references in the Wikipedia article. | |
| Jan 20, 2013 at 15:31 | history | asked | sboosali | CC BY-SA 3.0 |