Login / Signup

Induction rules in bounded arithmetic.

Emil Jerábek
Published in: Arch. Math. Log. (2020)
Keyphrases