✦ LIBER ✦
[Lecture Notes in Computer Science] ZUM '95: The Z Formal Specification Notation Volume 967 || Equational logic: A great pedagogical tool for teaching a skill in logic
✍ Scribed by Bowen, Jonathan P.; Hinchey, Michael G.
- Book ID
- 120306360
- Publisher
- Springer Berlin Heidelberg
- Year
- 1995
- Weight
- 113 KB
- Category
- Article
- ISBN
- 3540447822
No coin nor oath required. For personal study only.