TY  - GEN
AU  - K.J.Devlin
TI  - Sets, Functions and Logic
PY  - 0000///19-?
ER  -