No label defined (Q3699688)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1984
0 references
sets
0 references
rules
0 references
combinatory logic
0 references
axioms for set existence
0 references
formalization of Bishop's constructive mathematics
0 references
formalization of constructive aspects of mathematics
0 references
recursive rules
0 references
differential equations with non- computable solutions
0 references
classical logic
0 references
