Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /

• Main Authors: Dalla Chiara, Maria Luisa (Author, http://id.loc.gov/vocabulary/relators/aut), Giuntini, Roberto (http://id.loc.gov/vocabulary/relators/aut), Leporini, Roberto (http://id.loc.gov/vocabulary/relators/aut), Sergioli, Giuseppe (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Trends in Logic, Studia Logica Library, 48
• Subjects: Logic.; Mathematical logic.; Quantum computers.; Mathematical Logic and Foundations.; Quantum Computing.

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoreti...