Login / Signup

On lengths of proofs in non-classical logics.

Pavel Hrubes
Published in: Ann. Pure Appl. Log. (2009)
Keyphrases