Order from a Major Online Bookstore
Ultimate Book Price Comparison Engine
Save Your Time And Money
| AnyBook4Less.com | Order from a Major Online Bookstore |
|
| Home | Store List | FAQ | Contact Us | | ||
| Ultimate Book Price Comparison Engine Save Your Time And Money |
||
1. |  | Title: Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland Uk, September 3-6, 2001 Proceedings (Lecture Notes in Computer Science, 2152) by Richard J. Boulton, Paul B. Jackson ISBN: 354042525X Publisher: Springer-Verlag Telos Pub. Date: 01 September, 2001 List Price: $74.95 Amazon.com Price: $74.95 |
Thank you for visiting www.AnyBook4Less.com and enjoy your savings!
Copyright� 2001-2021 Send your comments
