Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics \ Automated Deduction: In Nonclassical Logics.

The correct shipping costs are calculated once the shipping address is entered during order creation. One or more delivery methods are available at the Seller's own discretion: Standard, Express, Economy, In-store pick-up.

Bookshop shipping conditions:

For items priced over €300, it is possible to request an instalment plan from Maremagnum. Payment can be made with Carta del Docente, Carta della cultura giovani e del merito, Public Administration.

Delivery time is estimated according to the shipping time of the bookshop and the courier. In case of customs detention, delivery delays may occur. Any customs duties are charged to the recipient.