Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Thistlewaite, Paul B., Michael A. McRobbie and Robert K. Meyer:
Venduto da NEPO UG, Rüsselsheim am Main, Germania
Venditore AbeBooks dal 15 novembre 2018
Usato - Brossura
Condizione: Gut
Quantità: 1 disponibili
Aggiungere al carrello