TY - RPRT TI - Dialectical Roots for Interest Prohibition Theory AU - Jan Aldert Bergstra PY - 2011 UR - https://arxiv.org/abs/1105.2900 ID - 1105.2900 ER -