Logic at the Crossroads (set) 9789400709201 | Engels | Boek | 2012 Voorraad status ophalen... € 171,50
Quantifiers: Logics, Models and Computation 9780792334507 | Engels | Boek | 1995 Voorraad status ophalen... € 171,50
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications 9780792351320 | Engels | Boek | 1998 Voorraad status ophalen... € 329,95