Literatur
M. H. Stone:Subsumption of the theory of Boolean algebras under the theory of rings. Proc. Nat. Acad. of Sciences 21 (1935), p. 103–105. Voir aussi:Kuratowski-Mostowski:Teoria Mnogości, 1952, p. 31–37,A. Mostowski:Logika Matematyczna, 1948, p. 101 ćw. 4 et p. 161, ćw. 10.
Rights and permissions
About this article
Cite this article
Turowicz, A.B. Sur une méthode algébrique de vérification des théorèmes de la logique des énoncés. Stud Logica 9, 27–36 (1960). https://doi.org/10.1007/BF02548467
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02548467