TY  - RPRT
TI  - IST is more than an algorithm to prove ZFC theorems
AU  - Vladimir Kanovei
PY  - 1993
UR  - https://arxiv.org/abs/math/9310213
ID  - math/9310213
ER  -