Category:Named Theorems/Curry

From ProofWiki
Jump to navigation Jump to search

This category contains results named for Haskell Brooks Curry.

American mathematician and logician, best known for his work in combinatory logic and for Curry's Paradox.

Pages in category "Named Theorems/Curry"

This category contains only the following page.

C

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Named_Theorems/Curry&oldid=548869"