Below are the items that are currently in your shoppingcart.

  • Use Order now to order these items
  • If you would like to order more items, please use Continue shopping.
  • To delete items from your shoppingcart, please select them at the left and then choose delete items
 
Bemerkung/Extra Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
 CHF 136.20 CHF 136.20
CHF 136.20