From Boolean algebra to unified algebra

DOI10.1007/BF02985647zbMath1053.06009MaRDI QIDQ1889959

Eric C. R. Hehner

Publication date: 13 December 2004

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

zbMATH Keywords

Boolean algebra

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05) Objectives and goals of mathematics teaching (97D30) Philosophical and theoretical contributions (didactics of mathematics) (97D20)

Related Items (3)

From Boolean algebra to unified algebra ⋮ Linear syntax for communicating elementary mathematics ⋮ Eponymphomania

Uses Software

• CalcCheck
• Z

Cites Work

• Structured calculational proof
• From Boolean algebra to unified algebra
• Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
• Highlights of the History of the Lambda-Calculus
• How to Write a Proof
• The Calculi of Lambda Conversion. (AM-6)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: From Boolean algebra to unified algebra