Author: CHANG, CHIN-LIANG & RICHARD CHAR-TUNG LEE Title: Symbolic logic and mechanical theorem proving
Description: Academic Press 1973 cloth, 331 pp. ISBN (0-12-170350-9)
Keywords: science Logica
Price: EUR 36.00 = appr. US$ 39.13 Seller: Moby Dick
- Book number: 234494
See more books from our catalog:
Science