The functional interpretation of logical deduction - Queiroz, Ruy J. G. B. de. (World Scientific,)