This is an introduction to mathematical logic in which all the usual topics are presented: compactness and axiomatizability of semantical …