Name: Automated Deduction in Multiple-Valued Logics - Reiner Hähnle
Brand: Clarendon Press
Availability: InStock

Automated Deduction in Multiple-Valued Logics - Reiner Hähnle - Clarendon Press | SuperScan