computable model theory (Q5157266)
Jump to navigation
Jump to search
branch of model theory that deals with computation
Language | Label | Description | Also known as |
---|---|---|---|
English | computable model theory |
branch of model theory that deals with computation |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Computable model theory