xii,EED-Book, xiii,EED-Book, 2,EED-Book, 2,MacLane,Borceux-1,Borceux-2,Barr+Wells,Pumpluen-Kategorien, 4,Barr+Wells, 8,Halmos, 14,Kuratowski, 16,Srivastava, 16,EED-Book, 26,Halmos, 28,EED-Book, 34,EED-Book, 35,Rudin, 35,Hewitt-Stromberg, 35,Fisz, 36,Abramowitz+Stegun, 36,Fisz, 54,Burris-UnivAlgebra, 61,Pumpluen, 61,Pumpluen, 66,EED-Book, 66,Halmos, 66,Hewitt-Stromberg, 66,Parthasarathy, 66,Billingsley-alt, 66,Billingsley-neu, 66,Fremlin, 66,Engelking, 66,Querenburg, 66,Parthasarathy, 66,Billingsley-alt, 66,Edgar, 66,Kechris, 66,Srivastava, 66,Kuratowski, 66,Arveson, 66,Edgar, 66,Rieder, 66,Dubins+Freedman, 66,Wagner,Himmelberg-VanVleck-CanJ, 66,Castaing-Valadier, 66,Edalat, 66,EED-Analytic, 66,Desharnais-Edalat-Panangaden, 67,EED-Book, 67,Graetzer,Burris-UnivAlgebra, 67,EED-Factoring, 67,EED-KleisliMorph, 67,EED-lattice-TR, 67,Wagner, 67,Srivastava, 67,EED-Analytic, 67,EED-Book, 67,EED-Book, 79,Larsen+Skou, 79,Blackburn-Rijke-Venema, 79,Hennessy-Milner, 80,EED-ConverseProbRel, 84,Desharnais-Edalat-Panangaden,EED-SemiPullback, 99,EED-Book, 100,Blackburn-Rijke-Venema, 100,Rutten, 100,CollectionModalLogic, 100,Fitting, 100,Goldblatt-Modality, 100,Desharnais-Edalat-Panangaden, 100,Larsen+Skou, 100,EED-CongBisim, 100,Baier+Haverkort+Hermanns+Katoen, 100,Clarke-Grumberg-Peled, 100,Desharnais-Panangaden-ContTime, 100,EED-Hanoi, 100,EED-HennessyMilner, 114,Hinderer, 114,Sun-Economy, 115,Wilkinson, 115,Keener-Sneyd, 115,Bauer, 115,Shiryaev, 117,Bauer, 117,Moggi-Inf+Control, Jones-Plotkin, 117,Burris-UnivAlgebra,Graetzer, 124,Graetzer, 124,Rutten, 124,EED-CongBisim, 154,Giry, 154,Panangaden, 154,EED-Book, 155,Hinderer, 155,MacLane, 155,Borceux-2, 155,Hennessy-Milner, 155,Larsen+Skou, 155,Desharnais-Edalat-Panangaden, EED-CongBisim, 155,Moss-Viglizzo-IuC, 155,Danos-etal-Cocongruences, 155,Srivastava, 155,Kechris, 155,Arveson, 157,Moss,Cirstea-Pattinson,Schroeder-Pattinson,Pattinson, 158,Pattinson, 158,Sokolova, 158,Sokolova, 164,Sokolova, 176,Rutten, 180,Wilf, 180,Knuth-Art-1,Goulden+Jackson, 185,Desharnais-Edalat-Panangaden, 186,Sokolova, 186,GangOf4, 197,Pattinson, 197,Schroeder-Expressivity, 197,Pattinson,Schroeder-Expressivity, 198,Schroeder-Expressivity, 206,EED-Analytic, 208,cs:fossacs08, 211,MacLane, 213,Moss, 213,Pattinson, 213,Kupke-Kurz-Venema_Moss,Kurz_afterDiss, 213,Schroeder-Expressivity, 213,Schroeder-Pattinson, 213,Pattinson, 213,Worrell-Terminal, 213,Viglizzo,Moss-Viglizzo, 213,Sokolova, 214,Larsen+Skou, 214,Desharnais-Edalat-Panangaden, 214,Baier+Haverkort+Hermanns+Katoen,Desharnais-Panangaden-ContTime,EED-Book, 214,EED-CS-coalgLogic,EED-CoAlgLogic,cs:fossacs08, 214,Bonsangue-Kurz,Kupke-Kurz-Venema, 214,MacLane, 214,EED-Algebras,EED-Korr-EM-Algebras,EED-KleisliMorph, 214,Keimel-Monads,