What Makes Logic Constructive?

Author

Valeria de Paiva

Published

March 6, 2026