Literatur
Church, Alonzo: Portugal. Math.7, 87 (1948).
Church, Alonzo: Portugal. Math.7, 87 (1948).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rose, A. A formalisation of the 2-valued propositional calculus with self-dual primitives. Math. Ann. 127, 255–257 (1954). https://doi.org/10.1007/BF01361125
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01361125