Second Order Quantifier Elimination. Foundations, Computational Aspects and Applications. Studies in Logic Mathematical Logic and Foundations. Volume 12.
Gabbay, Dov. M., Renate A. Schmidt und Andrzej Szalas:
Venduto da KULTur-Antiquariat, Boizenburg, MV, Germania
Venditore AbeBooks dal 3 novembre 2008
Usato - Brossura
Condizione: Gut
Quantità: 1 disponibili
Aggiungere al carrello