No label defined (Q4513580)
From MaRDI portal
scientific article; zbMATH DE number 1531363
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1531363 |
Statements
28 February 2001
0 references
computable predicates of finite type
0 references
admissible sets
0 references