A Concise Introduction To Mathematical Logic door Wolfgang Rautenberg