Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre
Pascal Lafourcade, Michel Lévy et Stéphane Desvismes
Venduto da Ammareal, Morangis, Francia
Venditore AbeBooks dal 29 agosto 2016
Usato - Brossura
Condizione: Usato - Ottimo
Quantità: 1 disponibili
Aggiungere al carrello