TY - RPRT TI - On the Syntax of Logic and Set Theory AU - Lucius T. Schoenbaum PY - 2010 UR - https://arxiv.org/abs/1003.4102 ID - 1003.4102 ER -