Richiedi una copia del documento: A characterization of those categories whose internal logic is Hilbert's ε-calculus

Captcha code
Annulla