gio54321
Blog
About
Tag: Curry-Howard
September 17, 2021
Intuitionism does not refute excluded middle