LEADER 00000cam a2200757 i 4500 
001    ocn938563578 
003    OCoLC 
005    20230113054233.0 
006    m     o  d         
007    cr mn||||||||| 
008    160211t20162016enk     ob    001 0 eng d 
019    959272583|a1167093577 
020    9781139519687 
020    1139519689 
020    9781316657560|q(electronic book) 
020    1316657566|q(electronic book) 
020    9781316656167|q(electronic book) 
020    1316656160|q(electronic book) 
020    9781316657218|q(MyiLibrary) 
020    1316657213|q(MyiLibrary) 
020    9781316653012 
020    1316653013 
020    |z9781107033399|q(hardback ;|qalkaline paper) 
020    |z110703339X|q(hardback ;|qalkaline paper) 
035    (OCoLC)938563578|z(OCoLC)959272583|z(OCoLC)1167093577 
040    N$T|beng|erda|epn|cN$T|dYDXCP|dEBLCP|dIDEBK|dCOO|dOSU|dUIU
       |dDEBSZ|dOCLCQ|dUPM|dVGM|dNRC|dOCLCQ|dVT2|dU3W|dOCLCF|dWYU
       |dLVT|dLEAUB|dUKAHL|dOCLCQ|dK6U|dOCLCO|dOCLCQ 
049    RIDW 
050  4 QA76.889|b.L655 2016eb 
072  7 COM|x000000|2bisacsh 
082 04 006.3/843|223 
090    QA76.889|b.L655 2016eb 
245 00 Logic and algebraic structures in quantum computing /
       |cedited by Jennifer Chubb, University of San Francisco, 
       Ali Eskandarian George Washington University, Washington 
       DC, Valentina Harizanov, George Washington University, 
       Washington DC. 
264  1 Cambridge :|bCambridge University Press,|c2016. 
264  4 |c©2016 
300    1 online resource (vii, 346 pages). 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
340    |gpolychrome|2rdacc 
347    text file|2rdaft 
490 1  Lecture notes in logic 
504    Includes bibliographical references and index. 
505 0  A (very) brief tour of quantum mechanics, computation, and
       category theory -- Could logic be empirical? The Putnam-
       Kripke depate -- The essence of quantum theory for 
       computers -- Fiber products of measures and quantum 
       foundations -- Operational theories and categorical 
       quantum mechanics -- Relating operator spaces via 
       adjunctions -- Topos-based logic for quantum systems and 
       bi-Heyting algebras -- The logic of quantum mechanics -- 
       Take II -- Reasoning abou meaning in natural language 
       wiwth compact closed categories and Frobenius algebras -- 
       Knot logic and topological quantum computing with Majorana
       fermions. 
520    Arising from a special session held at the 2010 North 
       American Annual Meeting of the Association for Symbolic 
       Logic, this volume is an international cross-disciplinary 
       collaboration with contributions from leading experts 
       exploring connections across their respective fields. 
       Themes range from philosophical examination of the 
       foundations of physics and quantum logic, to exploitations
       of the methods and structures of operator theory, category
       theory, and knot theory in an effort to gain insight into 
       the fundamental questions in quantum theory and logic. The
       book will appeal to researchers and students working in 
       related fields, including logicians, mathematicians, 
       computer scientists, and physicists. A brief introduction 
       provides essential background on quantum mechanics and 
       category theory, which, together with a thematic selection
       of articles, may also serve as the basic material for a 
       graduate course or seminar. 
588 0  Print version record. 
590    eBooks on EBSCOhost|bEBSCO eBook Subscription Academic 
       Collection - North America 
650  0 Quantum computing|0https://id.loc.gov/authorities/subjects
       /sh2014002839|xMathematics.|0https://id.loc.gov/
       authorities/subjects/sh2002007922 
650  0 Logic, Symbolic and mathematical.|0https://id.loc.gov/
       authorities/subjects/sh85078115 
650  0 Algebra, Abstract.|0https://id.loc.gov/authorities/
       subjects/sh85003428 
650  7 Quantum computing.|2fast|0https://id.worldcat.org/fast/
       1920679 
650  7 Mathematics.|2fast|0https://id.worldcat.org/fast/1012163 
650  7 Algebra, Abstract.|2fast|0https://id.worldcat.org/fast/
       804919 
650  7 Logic, Symbolic and mathematical.|2fast|0https://
       id.worldcat.org/fast/1002068 
650  7 COMPUTERS|xGeneral.|2bisacsh 
700 1  Chubb, Jennifer,|0https://id.loc.gov/authorities/names/
       n2015070196|eeditor. 
700 1  Eskandarian, Ali,|0https://id.loc.gov/authorities/names/
       n2015070197|eeditor. 
700 1  Harizanov, Valentina S.,|0https://id.loc.gov/authorities/
       names/no2012006962|eeditor. 
776 08 |iPrint version:|tLogic and algebraic structures in 
       quantum computing.|dCambridge : Cambridge University Press,
       2016|z9781107033399|w(DLC)  2015042942|w(OCoLC)928779826 
830  0 Lecture notes in logic.|0https://id.loc.gov/authorities/
       names/n93082404 
856 40 |uhttps://rider.idm.oclc.org/login?url=https://
       search.ebscohost.com/login.aspx?direct=true&scope=site&
       db=nlebk&AN=1159397|zOnline ebook via EBSCO. Access 
       restricted to current Rider University students, faculty, 
       and staff. 
856 42 |3Instructions for reading/downloading the EBSCO version 
       of this ebook|uhttp://guides.rider.edu/ebooks/ebsco 
901    MARCIVE 20231220 
948    |d20230203|cEBSCO|tEBSCOebooksacademic NEW 6073 Quarterly
       |lridw 
994    92|bRID