TY - RPRT TI - Russellian Propositional Logic and the BHK Interpretation AU - Amirhossein Akbar Tabatabai PY - 2017 UR - https://arxiv.org/abs/1704.07679 ID - 1704.07679 ER -