Proof Theory and Automated Deduction
Ian MacKie J. Goubault-Larrecq Jean Goubault-Larrecq
Venduto da Books Puddle, New York, NY, U.S.A.
Venditore AbeBooks dal 22 novembre 2018
Nuovi - Brossura
Condizione: Nuovo
Quantità: 4 disponibili
Aggiungere al carrello