System L (Q7663659)
Jump to navigation
Jump to search
a natural deductive logic
Language | Label | Description | Also known as |
---|---|---|---|
English | System L |
a natural deductive logic |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Suppes–Lemmon notation