Logical Ingredients of a Quantum Computer