The functional interpretation of logical deduction - Queiroz, Ruy J. G. B. de (World Scientific, 2012)
Includes bibliographical references (p. 253-264) and index