TY - RPRT TI - Some consequences of interpreting the associated logic of the first-order Peano Arithmetic PA finitarily AU - Bhupinder Singh Anand PY - 2012 UR - https://arxiv.org/abs/1108.4598 ID - 1108.4598 ER -