Logical feedback

DOI10.1007/BF00370184zbMath0739.03034OpenAlexW4241763298MaRDI QIDQ1181485

David Booth

Publication date: 27 June 1992

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

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

zbMATH Keywords

Boolean expressionscircuit theorytransitive functionsroot reflexive propositional formulas

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05) Set theory (03E99)

Related Items (1)

Incorporating the Relation into the Language?

Cites Work

• Algebraic Topological Methods for the Synthesis of Switching Systems. I
• Hereditarily finite Finsler sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logical feedback