613 followers
Constructive Modalities with Provability Smack. https://t.co/rME7ilAhsf
Constructive Modalities with Provability Smack. https://t.co/rME7ilAhsf
Constructive Modalities with Provability Smack https://t.co/5cPH4KU6O2
#arXiv #cs_LO "Constructive Modalities with Provability Smack. (arXiv:1708.05607v1 [cs.LO])" https://t.co/dlbs1Gbtv1