Login / Signup

Independence results for variants of sharply bounded induction.

Leszek Aleksander Kolodziejczyk
Published in: Ann. Pure Appl. Log. (2011)
Keyphrases