TY  - RPRT
TI  - Introduction to mathematical logic - A problem solving course
AU  - Arnold W. Miller
PY  - 1996
UR  - https://arxiv.org/abs/math/9601203
ID  - math/9601203
ER  -