Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Predicativity, the Russell-Myhill paradox, and Church's intensional logic |
scientific article |
Statements
Predicativity, the Russell-Myhill paradox, and Church's intensional logic (English)
0 references
29 June 2016
0 references
Russell-Myhill
0 references
intensional logic
0 references
predicativity
0 references
0 references
