Universitext Ser.: Mathematical Logic and Model Theory : A Brief Introduction by

Yehoshua BAR-HILLEL / Mathematical Logic and Foundations of Set Theory 1970

Mathematical Logic and Model Theory : A Brief Introduction by Alexander Prestel

Mathematical Logic Applications and Theory

Mathematical Logic: 37 Graduate Texts in Mathematics - J. Donald Monk Springer

An Introduction to Mathematical Logic and Type Theory : To Truth

Saunders Ser.: Mathematical Logic : Application and Theory by Jean Rubin (1990)

Beginning Model Theory: The Completeness Theorem - Jane Bridge MATHEMATICS LOGIC