Logique computationnelle et logique quantique: DE | Myboeken