The functional interpretation of logical deduction - Queiroz, Ruy J. G. B. de. (Advances in logic ;, 2012)