Title: Algebras, Diagrams and Decisions in Language, Logic and Computation
Subjects: Logic programming, Programming languages (electronic computers), Algebra, Languages, artificial, Logic, symbolic and mathematical