Constructive Natural Deduction and its “Modest” Interpretation (0)

by G Longo, E Moggi