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

Wallen, Lincoln

Editore: MIT, Cambridge, Massachusetts , London, 1990
Condizione: Usato Rilegato

Venduto da The Book Gallery, Jerusalem, Israele

Venditore AbeBooks dal 11 giugno 2002

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Usato - Rilegato

Prezzo:
EUR 57,45
Spedizione EUR 51,00
Spedito da Israele a U.S.A.

Articolo al momento non disponibile su AbeBooks.it

Trova questo articolo su AbeBooks.com

Vai su AbeBooks.com