Extracting Constructive Content from Classical Proofs (1990)

by C Murthy