English BooksUS/World Maps
 |
|
 |
|
|
|
|
English Books > Mathematics > Mathematical Analysis > Automated Theorem-proving in Non-classical Logics
|
Copyright © 2009 Open Communications, Inc ®Open Communications is a Registered Trade Mark. This material may be freely distributed ONLY with full reference to Open Communications Inc, including fax, phone, e-mail, and world-wide web details. This material is an invitation to treat and not an offer. We reserve the right to decline orders received from this site. Prices subject to change to be advised on confirmation of order. Not all titles listed are in print. Home Page: http://www.NetStoreUSA.com/ Site Map |
