Automated Theorem Proving: After 25 Years (Contemporary Mathematics)

Condiciones de envío

Orders usually ship within 2 business days. Expected shipping times for "Standard" orders is 4 to 14 business days and for "Expedited" orders is 3 to 5 business days. We do accept international orders, although shipment times may vary, usually from 3 to 6 weeks.

If you have any questions about our shipment times and policies, if you need a book faster, or if you would like to check the status of your order, please e-mail us.

Please note that we ship all "Standard" items via US Postal Service Media Mail and all "Expedited" items via US Postal Service Priority Mail. Our international orders go via USPS First Class or Priority International Mail. If you would like us to ship an item via another carrier, please e-mail us and we will try to accommodate you.

We can overnight books domestically and send books expedited internationally for an additional charge.

The majority of our packages are shipped using Stamps.com NetStamps, a non-trackable method. Please note that all items ordered via the "Expedited" shipping method are automatically shipped with Delivery Confirmation. If you would like your item shipped with Delivery Confirmation, please e-mail us before making your purchase.

We ship orders every day, Monday through Friday, (excluding Postal Service holidays) usually by 12PM. If you need to cancel or make changes to an order, please do so as soon as possible -- many requests we get regarding orders are not fulfilled because we find, pack, and ship the book before the buyer contacts us. If you receive a confirmation e-mail from us, it means your order has been shipped and we can no longer make changes to it.

Please note that the majority of our orders ship out within 24 hours, many shipping out the same day they are ordered. Since we usually ship around 12PM, most orders received Friday after 10AM will not go out until Monday. In some cases, we will make a trip on Saturday to get more orders out.

Tarifas de envío de Estados Unidos de America a España

Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.