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