Fundamentals of mathematical logic. (2018)