Talk:Sequent calculus

From LLWiki

Revision as of 17:47, 14 March 2009 by Olivier Laurent (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

Equivalences

Equivalences might deserve a specific page (maybe merged with isomorphims and equiprovability?).

-- Olivier Laurent 15:47, 14 March 2009 (UTC)

Retrieved from "http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Talk:Sequent_calculus&oldid=222"

Views

Personal tools

Log in / create account

Search

Tools