From Boolean algebra to unified algebra
From MaRDI portal
Publication:1889959
DOI10.1007/BF02985647zbMath1053.06009MaRDI QIDQ1889959
Publication date: 13 December 2004
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
06E05: Structure theory of Boolean algebras
97D30: Objectives and goals of mathematics teaching
97D20: Philosophical and theoretical contributions (didactics of mathematics)
Related Items
Eponymphomania, From Boolean algebra to unified algebra, Linear syntax for communicating elementary mathematics
Uses Software
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