Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)

Thistlewaite, Paul B., Michael A. McRobbie and Robert K. Meyer:

ISBN 10: 0273087819 ISBN 13: 9780273087816
Editore: FT Prentice Hall, 1988
Lingua: Inglese
Condizione: Gut Brossura

Venduto da NEPO UG, Rüsselsheim am Main, Germania

Venditore AbeBooks dal 15 novembre 2018

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

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Gut

Prezzo: EUR 116,60 Convertire valuta
EUR 9,00 per la spedizione da Germania a Italia Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungere al carrello