Login / Signup

A Sequent Calculus isomorphic to Gentzen's Natural Deduction.

Jan von Plato
Published in: Rev. Symb. Log. (2011)
Keyphrases