Category:Named Theorems/Levin
Jump to navigation
Jump to search
This category contains results named for Leonid Anatolievich Levin.
Ukrainian-American computer scientist best known for his exposition of what is now known as the Cook-Levin Theorem.
Pages in category "Named Theorems/Levin"
This category contains only the following page.