1-6 of 6 Books
Relations and Kleene algebra in computer science
Relations and Kleene algebra in computer science
By International Seminar on Relational Methods in Computer Science (9th 2006 Manchester, England)

The logical systems of Lesniewski
By Eugene C. Luschei

Algebraic and logic programming
By H. Kirchner,Wolfgang Wechler

Algebraic and logic programming
By J. Grabowski,Pierre Lescanne,Wolfgang Wechler

Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmethic held at Karpacz, Poland, September 1-7, 1979
By Conference on Applications of Logic to Algebra and Arithmetic (1979 Karpacz, Poland)