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 conţine exemple de rezolvare a problemelor folosind algoritmii şi tehnicile de programare studiate la cursul omonim, constituindu-se atât ca suport de seminar, cât şi ca material pentru studiul individual.

Lucrarea constă în urmărirea pas cu pas a tuturor problemelor care apar de-a lungul întregului ciclu de viaţă al unui produs program: de la faza de intenţie a produsului până la măsurarea caracteristicilor de calitate, prezentând totodată și bazele elaborării algoritmilor şi programelor.

Cartea prezintă noţiunile de bază necesare studiului şi aprofundării ştiinţei programării calculatoarelor, cu exemplificare în limbajul C. Ea se adresează studenţilor anului I ai Facultăţii de Cibernetică, Statistică şi Informatică Economică, precum şi tuturor celor care doresc să înveţe programarea calculatoarelor sau să aprofundeze şi să-şi sistematizeze cunoştinţele din domeniu.