00900nam0-22002891i-450-99000162706040332120050310101648.0000162706FED01000162706(Aleph)000162706FED0100016270620030910d1911----km-y0itay50------baitaIllustrazione del quarto volume dell' Erbario di Ulisse AldrovandiGiovanni Battista De ToniVeneziaG. Ferrari1911131 p.25 cmErbari580.742De Toni,Giovanni Battista<1864-1924>69526Aldrovandi,Ulisse<1522-1605>ITUNINARICAUNIMARCBK99000162706040332160 DONO IERNA 12336004FAGBCFAGBCIllustrazione del quarto volume dell' Erbario di Ulisse Aldrovandi366725UNINA01991nam 2200577Ia 450 991078115930332120230725045051.01-282-59172-X978661259172390-485-1134-8(CKB)2550000000012779(EBL)542528(OCoLC)645097290(SSID)ssj0000413660(PQKBManifestationID)11913191(PQKBTitleCode)TC0000413660(PQKBWorkID)10384280(PQKB)10349119(MiAaPQ)EBC542528(Au-PeEL)EBL542528(CaPaEBR)ebr10373181(CaONFJC)MIL259172(EXLCZ)99255000000001277920100513d2010 uy 0engur|n|---|||||txtccrCategorical quantum models and logics[electronic resource] /Chris Heunen[Amsterdam] Pallas Publications Amsterdam University Pressc20101 online resource (214 p.)Pallas ProefschriftenIncludes index.90-8555-024-6 Preface; Contents; Ch 1. Introduction; Ch 2. Tensors and biproducts; Ch 3. Dagger categories; Ch 4. Dagger kernel logic; Ch 5. Bohrification; Bibliography; Index of categories; Index of notation; Index of subjects; Samenvatting; Curriculum vitaeThis dissertation studies the logic behind quantum physics, using category theory as the principal tool and conceptual guidePallas ProefschriftenQuantum theoryMathematicsQuantum logicQuantum theoryMathematics.Quantum logic.510Heunen Chris1471097MiAaPQMiAaPQMiAaPQBOOK9910781159303321Categorical quantum models and logics3683255UNINA