A Concise Introduction To Mathematical Logic by Wolfgang Rautenberg