A group in the substitutive algebra of the calculus of propositions

DOI10.1007/BF01650095zbMath0111.00606MaRDI QIDQ1131243

No author found.

Publication date: 1962

Published in: Archiv der Mathematik (Search for Journal in Brave)

zbMATH Keywords

mathematical logic

Related Items (2)

A composition algebra for multiplace functions ⋮ Algebras of multiplace functions

Cites Work

• The algebra of functions
• Unnamed Item
• Unnamed Item

This page was built for publication: A group in the substitutive algebra of the calculus of propositions