LogikWolfgang Rautenberg ×Vieweg & Teubner × Einführung in die Mathematische LogikEin LehrbuchWolfgang RautenbergVieweg & TeubnerSoftcover2008