Category:Named Theorems/Barwise

From ProofWiki
Jump to navigation Jump to search

This category contains results named for Kenneth Jon Barwise.

American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.

This category currently contains no pages or media.