Category:Definitions/Named Definitions/Johansson

From ProofWiki
Jump to navigation Jump to search

This category contains definitions named for Ingebrigt Johansson.

Norwegian mathematician and logician best known for inventing minimal logic.

Pages in category "Definitions/Named Definitions/Johansson"

This category contains only the following page.