| Köszönetnyilvánítás | 5 |
| Előszó | 7 |
| Jelölések | 14 |
| Bevezetés | 17 |
| Hálók | |
| A háló definíciói | 19 |
| Izomorf hálók és részhálók | 24 |
| Disztributív és moduláris hálók | 26 |
| Teljes hálók, ekvivalenciarelációk és algebrai hálók | 30 |
| Lezárási operátorok | 34 |
| Az univerzális algebra alapjai | |
| Algebrák. Definíció és példák | 38 |
| Algebrák izomorfizmusai, részalgebrák | 44 |
| Algebrai hálók és zárt részhalmazok | 46 |
| Az irredundáns bázisok tétele | 48 |
| Kongruenciák és faktoralgebrák | 50 |
| Homomorfizmus, homomorfizmustétel, izomorfizmustételek | 59 |
| Direkt szorzat és faktorkongruencia. Direkt felbonthatatlan algebrák | 67 |
| Szubdirekt szorzat. Szubdirekt irreducibilis és egyszerű algebrák | 73 |
| Algebraosztályok operátorai, varietások | 77 |
| Szóalgebrák és szabad algebrák. | 79 |
| Azonosságok és szabad algebrák. Birkhoff tétele | 88 |
| Malcev-típusú tételek | 95 |
| Algebrák centruma | 100 |
| Azonosságelméletek és teljesen invariáns kongruenciák | 108 |
| Alkalmazás | |
| Steiner-rendszerek, kvázicsoportok és hurkok | 117 |
| Kvázicsoportok, hurkok és latin négyzetek | 120 |
| Ortogonális latin négyzetek | 122 |
| Véges automaták | 125 |
| Boole-algebrák és környékük | |
| Boole-algebrák | 134 |
| Boole-gyűrűk | 140 |
| Szűrők és ideálok | 145 |
| A Stone-féle dualitás | 153 |
| Boole-hatványok | 159 |
| Ultraszorzat és kongruencia-disztributivitás | 163 |
| Primál algebrák | 169 |
| Boole-szorzat | 173 |
| Diszkriminátor-varietások | 183 |
| Kváziprimál algebrák | 188 |
| Függvényteljes algebrák és ferde kongruenciák | 195 |
| Féligegyszerű varietások | 203 |
| Direkt-reprezentálható varietások | 207 |
| Univerzális algebra és modellelmélet | |
| Elsőrendű nyelvek és struktúrák | 211 |
| Redukált szorzat és ultraszorzat | 226 |
| Főkongruencia-formulák | 244 |
| Véges azonosságbázisok | 250 |
| Szemantikai beágyazás és eldönthetetlenség | 261 |
| A jelenlegi kutatás irányai: megoldatlan problémák | |
| Kommutátor és centrum | 274 |
| A varietások osztályozása | 275 |
| Eldönthetőség | 276 |
| Boole-típusú konstrukciók | 279 |
| Struktúraelmélet | 280 |
| Számítógéptudományi alkalmazások | 281 |
| Modellelméleti alkalmazások | 281 |
| Véges azonosságbázisok | 282 |
| Szubdirekt irreducibilis algebrák | 282 |
| Irodalom | 283 |
| Magyar nyelvű irodalom | 295 |
| Függelék | |
| Klónok (Csákány Béla) | |
| Absztrakt klónok és függvényklónok | 297 |
| Klónok és primál algebrák | 304 |
| Függvényklónok hálói | 309 |
| Galois-kapcsolat műveletek és relációk között | 317 |
| Primitív pozitív klónok | 325 |
| Varietások és klónok | 329 |
| Néhány, megoldásra váró probléma | 331 |
| Kiegészítő irodalom | 333 |
| Tárgymutató | 340 |
| Névmutató | 345 |
Folytatás Microsoft-tal