Introduction to Symbolic Logic and Its Applications - by Rudolf Carnap Great

Rewriting Logic and Its Applications - 9783319129037

Rewriting Logic and Its Applications, Bae, Kyungmi

Lecture Notes in Computer Science #355 Rewriting Techniques And Applications

Rewriting Logic and Its Applications - 9783030635947

Introduction to Symbolic Logic and Its Applications

Logic and Its Applications - 9783642360381

Logic and Its Applications - 9783662458235