Quantum Computation and Logic

This book surveys key concepts and results from the intersection of quantum information, computation, and logic. It covers qubits, quantum gates, entanglement phenomena, and the Einstein-Podolsky-Rosen paradox. It also explores quantum computational semantics, quantum Turing machines, and concludes with a mathematical appendix.