Volle Referenz:

Alexander Pfänder, "Logic", in: Mathematics and its applications, Berlin, Springer, 2017