Category:Named Theorems/Löb

From ProofWiki
Jump to navigation Jump to search

This category contains results named for Martin Hugo Löb.

German mathematician who specialised in mathematical logic. Best known for having formulated Löb's Theorem in 1955.

Pages in category "Named Theorems/Löb"

This category contains only the following page.

L

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Named_Theorems/Löb&oldid=548898"