Descriptive and Relative Completeness of Logics for Higher-Order Functions (Q3591433)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Descriptive and Relative Completeness of Logics for Higher-Order Functions |
scientific article |
Statements
Descriptive and Relative Completeness of Logics for Higher-Order Functions (English)
0 references
11 September 2007
0 references
