LEADER 01991nam  2200577Ia 450 
001 9910781159303321
005 20230725045051.0
010   $a1-282-59172-X
010   $a9786612591723
010   $a90-485-1134-8
035   $a(CKB)2550000000012779
035   $a(EBL)542528
035   $a(OCoLC)645097290
035   $a(SSID)ssj0000413660
035   $a(PQKBManifestationID)11913191
035   $a(PQKBTitleCode)TC0000413660
035   $a(PQKBWorkID)10384280
035   $a(PQKB)10349119
035   $a(MiAaPQ)EBC542528
035   $a(Au-PeEL)EBL542528
035   $a(CaPaEBR)ebr10373181
035   $a(CaONFJC)MIL259172
035   $a(EXLCZ)992550000000012779
100   $a20100513d2010      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aCategorical quantum models and logics$b[electronic resource] /$fChris Heunen
210   $a[Amsterdam] $cPallas Publications $cAmsterdam University Press$dc2010
215   $a1 online resource (214 p.)
225 1 $aPallas Proefschriften
300   $aIncludes index.
311   $a90-8555-024-6 
327   $aPreface; 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 vitae
330   $aThis dissertation studies the logic behind quantum physics, using category theory as the principal tool and conceptual guide
410  0$aPallas Proefschriften
606   $aQuantum theory$xMathematics
606   $aQuantum logic
615  0$aQuantum theory$xMathematics.
615  0$aQuantum logic.
676   $a510
700   $aHeunen$b Chris$01471097
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910781159303321
996   $aCategorical quantum models and logics$93683255
997   $aUNINA