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
