1
by Henkin, Leon
Published 1985
North-Holland Pub. Co.
... questions, model theory and decision problems for them, translations from logic to algebra and vice-versa...