Extracting Constructive Conent from Classical Proofs (1990)

by C Murthy