TY - RPRT TI - Polynomial time logic: Inability to express AU - Saharon Shelah PY - 1998 UR - https://arxiv.org/abs/math/9807179 ID - math/9807179 ER -