From LLWiki
Revision as of 17:24, 31 August 2012 by Olivier Laurent (Talk | contribs)

Jump to: navigation, search

We can have a look at a formal account of nets, but it is probably not the best way to learn about proof-nets if you have never seen them before.

Personal tools