Exercises for the Logical Background

Reiter