Category:Named Theorems/Engeler

From ProofWiki
Jump to navigation Jump to search

This category contains results named for Erwin Engeler.

Swiss mathematician whose main work has been in mathematical logic and computer science.

Pages in category "Named Theorems/Engeler"

This category contains only the following page.