Login / Signup

Epsilon substitution for transfinite induction.

Henry Towsner
Published in: Arch. Math. Log. (2005)
Keyphrases