Sprague-Grundy theory in bounded arithmetic

Satoru Kuroda. Sprague-Grundy theory in bounded arithmetic. Arch. Math. Log., 61(1):233-262, 2022. [doi]

Abstract

Abstract is missing.