TY  - RPRT
TI  - Functions Definable by Numerical Set-Expressions
AU  - Ian Pratt-Hartmann
AU  - Ivo Düntsch
PY  - 2009
DO  - 10.1093/logcom/exr050
UR  - https://arxiv.org/abs/0911.0105
ID  - 0911.0105
ER  -