Quantum computation and logic. How quantum computers have inspired logical investigations
scientific article; zbMATH DE number 6981553