4 - Equality
Published online by Cambridge University Press: 30 September 2009
Summary
- Type
- Chapter
- Information
- Handbook of Practical Logic and Automated Reasoning , pp. 235 - 307Publisher: Cambridge University PressPrint publication year: 2009