Logica computazionale e logica quantistica | Myboeken