Mathematical Logic, 2nd ed. by Ebbinghaus Notes and exercises by John Peloquin. Licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) license.