Mathematical Logic and Model Theory A Brief Introduction - Prestel, Alexander; Delzell, Charles N.; SpringerLink (Online service) (London : Springer London, 2011)
Keywords: Mathematics; Computer science; Mathematics; Mathematics, general; Mathematical Logic and Formal Languages