Many-sorted logic (Q2303607)
Jump to navigation
Jump to search
Hierarchical typed logic
Language | Label | Description | Also known as |
---|---|---|---|
English | Many-sorted logic |
Hierarchical typed logic |
Statements
Identifiers
Sitelinks
Wikipedia(4 entries)
- dewiki Sortenlogik
- elwiki Λογική με πολλούς τύπους
- enwiki Many-sorted logic
- ptwiki Lógica polissortida