TY - RPRT TI - Nominalistic Logic (Extended Abstract) AU - Jørgen Villadsen PY - 2008 UR - https://arxiv.org/abs/0812.4814 ID - 0812.4814 ER -