Interpreting classical theories in constructive ones (0)

by Jeremy Avigad
Venue:J. Symbolic Logic