Sur une methode algébrique de vérification des théoreèmes de la logique des énoncés

DOI10.1007/BF02548467zbMath0121.25302OpenAlexW2315873962MaRDI QIDQ2626586

A. Turowicz

Publication date: 1960

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02548467

zbMATH Keywords

mathematical logic

Cites Work

• Subsumption of the Theory of Boolean Algebras under the Theory of Rings

This page was built for publication: Sur une methode algébrique de vérification des théoreèmes de la logique des énoncés