Această monografie colectează rezultatele principale, publicate sau încă nepublicate, obţinute de către autor, în încercarea de a trata unitar unele algebre comutative de logică şi non-algebre corespunzătoare comutative de logică, precum şi cazuri speciale de algebre inversate stânga-BCK şi, respectiv, inversate stânga-pseudo-BCK, în scopul de a fi mai aproape de logică.

Lucrarea este originală, cuprinde 175 de enunţuri de probleme şi peste 180 de soluţii la aceste enunţuri. Rezolvarea problemelor propuse s-a realizat în limbajul C, datorită utilizării sale pe scară largă atât în mediul universitar, cât şi în practica programării.

Cartea se vinde numai la set, împreună cu  Bazele programării calculatoarelor. Suport de curs

Lucrarea tratează bazele de date spaţiale din punctul de vedere al includerii lor într-o arhitectură orientată pe servicii şi se compune din două părţi, intitulate Stadiul actual al cunoaşterii în aria tematică şi Soluţii privind bazele de date spaţiale în arhitectura orientată pe servicii.

Această carte abordează domeniul sistemelor de operare înfăţişând concepte, structuri şi mecanisme specifice organizării şi funcţionarii sistemelor de operare în general. În particular, sunt înfăţişate noţiuni legate de sistemele de operare Unix şi Windows.

Tratatul de baze de date, volumul II, se adresează în special studenţilor, masteranzilor şi specialiştilor care doresc să aprofundeze domeniul sistemelor de gestiune a bazelor de date şi care sunt familiarizaţi cu modele de date, stăpânind în acelaşi timp noţiuni de bază de programare. Sunt detaliate diverse abordări pentru construirea de aplicaţii complete şi optimizate.