Title: principles of mathematical logic