 |
 |
 |
Deutsch
Français
Nederlands
Chang, Chin-Liang & Richard Char-Tung Lee - Symbolic logic and mechanical theorem provingAcademic Press 1973 cloth, 331 pp. ISBN (0-12-170350-9) (code Sc-87) EUR 36.00 [Appr.: US$ 41.25 | £UK 31 | JP¥ 5989] Book number 234494We regret that this particular copy is temporarily not available. You may try to find another copy by using the search function. Apologies for the inconvenience! |
Do you want to see
- more titles like this one?- more by this author
- more from this bookseller?
Back to your search results