cancelpublished Towards a verificationist account of classical propositional logic

status will change from published to submitted

validating...