Login / Signup

Combinatorial principles equivalent to weak induction.

Caleb DavisDenis R. HirschfeldtJeffry L. HirstJake PardoArno PaulyKeita Yokoyama
Published in: Comput. (2020)
Keyphrases