Login / Signup

-induction rule.

Ulrich Kohlenbach
Published in: Arch. Math. Log. (1995)
Keyphrases