1,017 followers
Tudor Protopopescu : An Arithmetical Interpretation of Verification and Intuitionistic Knowledge https://t.co/yuTV7TkkwD
Tudor Protopopescu : An Arithmetical Interpretation of Verification and Intuitionistic Knowledge https://t.co/yuTV7TkkwD
An Arithmetical Interpretation of Verification and Intuitionistic Knowledge. https://t.co/VfJMsAlUCT