Report copyright - Linear logic for constructive mathematicshome.sandiego.edu/~shulman/papers/lcm-bloomington-talk.pdf · contradiction. (E.g. P might be the Riemann hypothesis.) So P _:P doesn’t
Please pass captcha verification before submit form
Please pass captcha verification before submit form