reckless intuitions of an epistemic hygienist (![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small} gustavolacerda) wrote,@ 2005-03-16 17:21:00 |
|
| Entry tags: | logic |
proof nets formalize the notion of proof identity
ah... proof nets formalize the notion of proof identity
| reckless intuitions of an epistemic hygienist (gustavolacerda) wrote, @ 2005-03-16 17:21:00 |
|
| Entry tags: | logic |
proof nets formalize the notion of proof identity
ah... proof nets formalize the notion of proof identity