Symbolic logic and mechanical theorem proving

Door: Chang, Chin-Liang & Richard Char-Tung Lee

---

• ISBN:
• Uitgever: Academic Press 1973 cloth
• Taal:
• Categorie: science
• Details: 331 pp. ISBN (0-12-170350-9) (code Sc-87)
• Extra informatie:
• € 36.00