Deutsch  Français  Nederlands 

Chang, Chin-Liang & Richard Char-Tung Lee - Symbolic logic and mechanical theorem proving

Academic Press 1973 cloth, 331 pp. ISBN (0-12-170350-9) (code Sc-87)
EUR 36.00 [Appr.: US$ 41.48 | £UK 31 | JP¥ 6052] Book number 234494

is offered by:


Moby Dick
Schoolstraat 31, 2202 HD Noordwijk, The Netherlands Tel.: +31(0)71 361 94 98
Email: mobydick@xs4all.nl




  Order this book

Ask for information

Back to your search results