Sprague-Grundy theory in bounded arithmetic
scientific article; zbMATH DE number 7495461