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

Wallen, Lincoln

Edité par MIT, Cambridge, Massachusetts , London, 1990
Etat : Occasion Couverture rigide

Vendu par The Book Gallery, Jerusalem, Israël

Vendeur AbeBooks depuis 11 juin 2002

Évaluation du vendeur 2 sur 5 étoiles Evaluation 2 étoiles, En savoir plus sur les évaluations des vendeurs

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture rigide

Prix:
EUR 56,70
Expédition à EUR 51
Expédition depuis Israël vers Etats-Unis

Actuellement indisponible sur AbeBooks.fr

Trouvez cet article sur AbeBooks.com

Aller sur AbeBooks.com