Talk:Sequent calculus

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

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://140.77.166.78/mediawiki/index.php?title=Talk:Sequent_calculus&oldid=222"
Personal tools