Timeline for intuitionistic interpretation of classical logic
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 9, 2009 at 4:40 | history | edited | LSpice | CC BY-SA 2.5 |
Clarifying in response to a question from fqpc; Post Made Community Wiki
|
| Dec 9, 2009 at 4:20 | vote | accept | CommunityBot | moved from User.Id=577 by developer User.Id=69903 | |
| Dec 9, 2009 at 4:18 | comment | added | Harry Gindi | Could you define that symbol T for those of us who aren't familiar with that symbol in this context? | |
| Dec 9, 2009 at 4:11 | history | answered | LSpice | CC BY-SA 2.5 |