Term logic with choice operator

Door: Hermes, Hans

---

• ISBN:
• Uitgever: Springer 1970 sewed
• Taal:
• Categorie: science
• Details: 55 pp Traces of use (code Sc-163)
• Extra informatie:
• € 8.00